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…)

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit - a-b-street/abstreet... (more…)

Developed in collaboration with Arm and Google, Tyr is a new Rust-based DRM driver targeting CSF-based ARM Mali GPUs. (more…)

Every tool that gets big enough eventually provides a way to support third-party logic. Maybe you expose APIs for clients to call. Maybe you take some code and run it in a sandbox. Maybe you embed a Lua interpreter. (more…)

Production-oriented Rust computer-use runtime. Contribute to xayhemLLC/computer-use-runtime development by creating an account on GitHub. (more…)