Jonathan Brouwer's repositories
squaredle-solver
A blazingly fast Squaredle solver, can solve a game in a few milliseconds.
agda2hs
Compiling Agda code to readable Haskell
Language:AgdaMIT000
gcollections
Generic Rust Collection
Language:RustApache-2.0000
mpu6050-dmp-rs
Platform-independent I2C driver for MPU6050. Supports DMP usage. Fork of drogue-mpu-6050 which uses only embedded-hal traits (no dependency on embedded-time or drogue-embedded-timer).
Language:Rust000
ms5611-rs
A Rust library for the MS5611 barometric pressure sensor.
Language:RustMIT000
Language:Nix000
Language:Shell000
pcp
Constraint programming in Rust
Language:RustApache-2.0000
pkgbuild-proton-ge-custom-bin
PKGBUILD for "pkgbuild-proton-ge-custom-bin". As seen in AUR.
Language:Shell000
Language:Rust000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
rust-syslog
Send syslog messages from Rust
Language:RustMIT000
Language:Rust000