fabox-os / Pro-Wave

ProWave, a music production Daw in the style of Logic Pro, written in pure Rust with egui. Tracks, MIDI and audio regions, piano roll, mixer and built-in synth. Builds for Windows, macOS and Linux

prove-rs / z3.rs

Rust bindings for the Z3 solver.

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍