Egglog https://github.com/philzook58/egglog is a prolog-like syntax I’m fiddling with for the egg egraph library. Check out the online demo here http://www.philipzucker.com/egglog/ (rust compiles to wasm)... (more…)

Brahma-Firelight — A Rust-powered, memory-safe Node.js web framework built on Tokio + Hyper. - Shyam20001/rsjs... (more…)

Simple Screen Recorder written in Rust based on Green Recorder - xlmnxp/blue-recorder... (more…)

Pattern matching and exhaustiveness checking algorithms implemented in Rust - GitHub - yorickpeterse/pattern-matching-in-rust: Pattern matching and exhaustiveness checking algorithms implemented in... (more…)

(hoping somebody could translate this into 中文, but here it goes…)... (more…)