Stars
11
results
for source starred repositories
written in Rust
Clear filter
Empowering everyone to build reliable and efficient software.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Renderer for the harmony response format to be used with gpt-oss
Cranelift based backend for rustc
Magical Rust patterns laid out and simplified
A static verifier for Rust, based on the Viper verification infrastructure.
A Raft implementation which can bring consensus to every database