Lists (7)
Starred repositories
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!
Rust-like high-level language that compiles down to Simplicity bytecode.
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
Research papers that I've authored and co-authored over the years
10
Updated Aug 12, 2026
Help AI coding agents write modern Go
Ultra-low-latency FIX protocol engine in Rust — 28 ns serialize, 2.25M msg/s
QuickFIX/n implements the FIX protocol on .NET.
A pure-Rust FIX protocol engine built natively on tokio — no C++ bindings, no background threads, no unsafe.
A full featured messaging engine for the FIX protocol implemented in Rust
A production-grade FIX protocol engine in Rust, at feature parity with QuickFIX/J — first-class acceptor/sell-side support, dual-track data dictionary, and FIX conformance (acceptance tests) as the…
SymEngine is a fast symbolic manipulation library, written in C++
A static site for teaching about ERC-8213
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Smart contracts for onchain verification of SP1.
Extensive validations built on top of validator.js.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
A CLI tool for managing DigitalOcean droplets with automated setup, SSH configuration, and lifecycle management.
Curated, community-vetted Claude Code plugin marketplace