Starred repositories
Anny, A Free and Interpretable Human Body Model for all ages, written in PyTorch.
Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)
A minimalist markdown sync site that's always in sync built with React, Convex, and Vite. Optimized for SEO, AI agents, and LLM discovery.
an optimizing compiler for a lisp dialect targetting uxn
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
In-progress version of draft-ietf-quic-multipath
Mimicking tokio functionalities on web browsers
Rust for native business logic, Flutter for flexible and beautiful GUI
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
A complete implementation of the modern Liftmaster / Chamberlain myQ API
C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))
Code for the paper "Defeating Prompt Injections by Design"
A networking library to make multiplayer games for the Bevy game engine
GELab: GUI Exploration Lab. One of the best GUI agent solutions in the galaxy, built by the StepFun-GELab team and powered by Step’s research capabilities.
Minimal implementation of the QUIC protocol
GameStream client for Tizen OS (Samsung Smart TV's)
Official Rust implementation of the UTCP
A server-authoritative replication crate for Bevy.
A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.