Ygg01's starred repositories
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
yaml-rust2
A pure Rust YAML implementation.
bevy_editor_pls
In-App editor tools for bevy applications
Firefox-UI-Fix
🦊 I respect proton UI and aim to improve it.
daily-bevy
Learn Bevy (and Rust) by exploring a small example (almost) every day
rust_serialization_benchmark
Benchmarks for rust serialization frameworks
bench-config-deserializers
A benchmark of Rust/serde deserializers on configuration files
rust-smallvec
"Small vector" optimization for Rust: store up to a small number of items on the stack
roaring-rs
A better compressed bitset in Rust
rust-cssparser
Rust implementation of CSS Syntax Level 3
Delta-v-Legacy
A fork of Space Station 14, embracing a mixture of classic SS13 chaos and experimentation only possible with the new engine
yaml-runtimes
YAML processor runtimes via docker
img_maniac
A cross-platform image (texture) viewer