Jack McPherson'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! ✈️ 🚀 ⚕️ 🏦
cargo-remark
Cargo subcommand for viewing LLVM optimization remarks.
MTH9879-Market-Microstructure-Models
A collection of homeworks of market microstructure models.
rust-cpuid
cpuid library in rust.
reth-exex-examples
Collection of ExEx examples built on Reth
banyan-core
Banyan Computer's internal platform services
koi-bot-client
A sample Telegram crypto trading bot client