wrsturgeon Goto Github PK

.config

`~/.config` on macOS & NixOS

array

Common array operations and useful properties, defined on Coq lists.

breadth-first-zip

Breadth-first `zip` guaranteeing a monotonically increasing sum of indices.

buoy

ESP32 vital-signs wristband with ML & onboard display, without a HAL.

check-and-compile

JIT compilation with type-checking, shape-checking, & runtime error handling built in.

circuitpython_email

coqhammer-nix

CoqHammer, built with Nix.

damper

Neural network optimizer based solely on reducing oscillation.

damper-deepobs

damper-pytorch

deepobs

Nix copy of DeepOBS

derive-quickcheck

Automatically property-test your data structures.

dxpr

crates.io: Differentiable expression templates in Rust.

fixed-point

fixed-string

Compile-time strings in C++20

gamecontroller-nix

Nix flake to build and run the RoboCup SPL GameController in one line.

gamecontroller3-nix

Nix flake to build and run the RoboCup SPL GameController in one line.

gentzen

Automated theorem prover for any sequent calculus.

gridworlds-nix

DeepMind's AI Safety Gridworlds, built with Nix.

inator

An evil parsing library.

jax-attention

Clear, concise, & efficient implementation of attention for neural networks in pure JAX.

jax-transformer

Clear, concise, & efficient implementation of a Transformer in pure JAX.

junglefowl

Brutally murdering Rust's type system one proof at a time.

lang

Experimental linear-typed, aggressively optimized functional language.

linear-logic

Parser, AST, and formatter for linear logic.

metaoptimizer

Quantifying performance of machine-learning optimizers like RMSProp & Adam.

neuroaesthetics-alpas

osc

Rust implementation of OSC (Open Sound Control).

penzai-nix

DeepMind's `penzai`, built with Nix.

reiterator

Lazy repeatable caching iterator that only ever calculates each element once.