Marvin Countryman's starred repositories
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
ArduinoOBD
OBD-II library and sketches for Arduino
tauri-controls
๐ฅ Native-looking window controls for Tauri 2. React, Solid, Vue, Svelte+Tailwind.
bevy_entitiles
A 2d tilemap library for bevy. With many useful algorithms/tools built in.
bevy_dev_console
Source-inspired developer console plugin for the Bevy game engine.
libtor-sys
Rust crate that builds a static version of Tor
simd-adler32
A SIMD-accelerated Adler-32 hash algorithm implementation.
planetscale-driver
Planetscale driver for wasm written in rust