Starred repositories
A reasonable theorem prover for your reasoning tasks!
Frequency modulation synthesizer plugin (VST2, CLAP). Runs on macOS, Windows and Linux.
Ferris-on-Air: An experimental Wi-Fi stack for rust on the ESP32.
An attempt at safe imperative GPU programming.
Java library for fetching and parsing rekordbox exports and track analysis files.
Library for parsing Pioneer Rekordbox device exports
Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.
Retrieval-Augmented Theorem Provers for Lean
Tool for data extraction and interacting with Lean programmatically.
Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).
A book about category theory
10 papers that all PhD students in programming languages ought to know, for some value of 10
A collaborative bibliography of work related to the theory and practice of computational effects
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
AES67 Linux Daemon with configuration WebUI
Cranelift based backend for rustc