Pinned Repositories
buoy
ESP32 vital-signs wristband with ML & onboard display, without a HAL.
dxpr
crates.io: Differentiable expression templates in Rust.
inator
An evil parsing library.
lang
Experimental linear-typed, aggressively optimized functional language.
robocup-legacy
The University of Pennsylvania RoboCup codebase prior to 2022.
rsmonad
Haskell-style monads in Rust.
same-as
Type equality in stable Rust.
sleuth
Extremely opinionated testing framework generating an exact specification and reducing code to its minimal implementation.
stream-types
Formally verifying a type theory for arbitrary stream operations.
transduce
Isomorphic parsing: your code should look like what it parses.
wrsturgeon's Repositories
wrsturgeon/inator
An evil parsing library.
wrsturgeon/sleuth
Extremely opinionated testing framework generating an exact specification and reducing code to its minimal implementation.
wrsturgeon/derive-quickcheck
Automatically property-test your data structures.
wrsturgeon/linear-logic
Parser, AST, and formatter for linear logic.
wrsturgeon/buoy
ESP32 vital-signs wristband with ML & onboard display, without a HAL.
wrsturgeon/lang
Experimental linear-typed, aggressively optimized functional language.
wrsturgeon/stream-types
Formally verifying a type theory for arbitrary stream operations.
wrsturgeon/array
Common array operations and useful properties, defined on Coq lists.
wrsturgeon/check-and-compile
JIT compilation with type-checking, shape-checking, & runtime error handling built in.
wrsturgeon/coqhammer-nix
CoqHammer, built with Nix.
wrsturgeon/damper
Neural network optimizer based solely on reducing oscillation.
wrsturgeon/damper-deepobs
wrsturgeon/damper-pytorch
wrsturgeon/deepobs
Nix copy of DeepOBS
wrsturgeon/gamecontroller-nix
Nix flake to build and run the RoboCup SPL GameController in one line.
wrsturgeon/gamecontroller3-nix
Nix flake to build and run the RoboCup SPL GameController in one line.
wrsturgeon/gentzen
Automated theorem prover for any sequent calculus.
wrsturgeon/gridworlds-nix
DeepMind's AI Safety Gridworlds, built with Nix.
wrsturgeon/jax-attention
Clear, concise, & efficient implementation of attention for neural networks in pure JAX.
wrsturgeon/jax-transformer
Clear, concise, & efficient implementation of a Transformer in pure JAX.
wrsturgeon/led
Dim LEDs with an Arduino Nano Every
wrsturgeon/linear-core
Core semantics for a linear functional programming language.
wrsturgeon/metaoptimizer
Quantifying performance of machine-learning optimizers like RMSProp & Adam.
wrsturgeon/nix-config
/etc/nixos
wrsturgeon/osc
Rust implementation of OSC (Open Sound Control).
wrsturgeon/penzai-nix
DeepMind's `penzai`, built with Nix.
wrsturgeon/reiterator
Lazy repeatable caching iterator that only ever calculates each element once.
wrsturgeon/rix
Rust build system without Cargo: just Nix.
wrsturgeon/vpa
Visibly pushdown automata.
wrsturgeon/whiskey
Experimental formally proven compiler in Coq.