Skills for Designers and Engineers.

AI agents running research on single-GPU nanochat training automatically

gënérative ȧrt

MetaModule virtual patch module firmware

Synthesizer Modules and Audio Circuits

An interpreter for learning and exploring pure λ-calculus

Lean 4 programming language and theorem prover

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

blazing fast implicit surface evaluation

A next-generation test runner for Rust.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

2D plotting library in Rust for egui

RustFFT is a high-performance FFT library written in pure Rust.

quad 4-step Eurorack CV sequencer

firmware for the zeptocore, zeptoboard, ectocore, and ezeptocore

digital signal processing library for software-defined radios

SSD1306 OLED driver

no_std library for parsing wav files

Synthesis Technology WaveEdit for the E370 and E352 Eurorack synthesizer modules

Run embedded programs just like native ones

Eurorack modules

Hardware abstraction layer for Daisy boards.

Saturating tape delay and feedback sculptor.

Pure Data as a plugin, with a new GUI

Purr Data - Jonathan Wilkes' cross-platform Pd-l2ork version

friendly modules for pure data vanilla. bop 🐤 is suited to embedded, distributed, and miscellaneous digital musical applications.

ELSE - EL Locus Solus' Externals for Pure Data

A lightweight Datalog engine in Rust