MCP server that gives Claude the ability to hear music. Pure Rust audio analysis — spectral, harmonic, rhythm, timbre — returned as structured data.

WFS chapter for 2nd edition of Weinzierl's Handbuch der Audiotechnik

Lean 4 programming language and theorem prover

A modern curriculum vitae class for LaTeX

Statistics-driven benchmarking library for Rust

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

cargo subcommand showing the assembly or llvm-ir generated for Rust code

Subcommand to show result of macro expansion

🔭 Cross-platform filesystem notification library for Rust.

Rust tool to collect and aggregate code coverage data for multiple source files

background code checker

A minimal blocking queue backed by a circular buffer

A circular buffer written in C using Posix calls to create a contiguously mapped memory space. BSD Licensed.

Implementaiton of mmap circular buffer

An assortment of ring buffer designs for eductional and research purposes

Lean 4 tutorial files

Lean documentation authoring tool

Natural Number Game

Browser-based DAW and audio synthesis platform with dozens of effects, synths, and modules

🪗 Play the accordion with your computer keyboard!

x86 PC emulator and x86-to-wasm JIT, running in the browser

Starter template for LazyVim

Neovim config for the lazy

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Control JACK audio server with Python

A Foreign Function Interface package for calling C libraries from Python.