Michael DeGraw'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! βοΈ π βοΈ π¦
opencv-rust
Rust bindings for OpenCV 3 & 4
mongo-rust-driver
The official MongoDB Rust Driver
awesome-latticeFPGAs
:book: List of FPGA Lattice boards using open tools
open-webui
User-friendly WebUI for LLMs (Formerly Ollama WebUI)
noble-curves
Audited & minimal JS implementation of elliptic curve cryptography.
vaultwarden
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
tokio-cron-scheduler
Schedule tasks on Tokio using cron-like annotation
bintracker
A hackable Chiptune Audio Workstation. https://bintracker.org
rust-socketio
An implementation of a socket.io client written in the Rust programming language.
nanoid-postgres
Nano ID for PostgreSQL