Whole system resource control benchmarks with realistic scenarios
MIPS instruction decoder
A minimal and extensible configuration language for fallible humans working with physical systems.
Z3 SMT translation validation for the Synth compiler
A message queue bridge application written in Rust, designed to connect different messaging systems like RabbitMQ, Kafka, and NATS.
Shared core library for mq-bridge-app.
Rust client library for the Ray debugging app
Blazing-fast lightweight PostgreSQL client built in Rust
A highly parallel Perl 5 interpreter written in Rust
Terminal-based music visualizer for system audio
extended XYZ parser (extxyz)
Image codec comparison and evaluation library