The 65c02 and 65c816s-based modern retro computer

Software modular synth

🚧 a work in progress effect system for Haskell 🚧

Koka language compiler and interpreter

A selection of synths coded with Faust DSP, to be used on Zynthian

Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript

Dexed FM synthesizer similar to 8x DX7 (TX816/TX802) running on a bare metal Raspberry Pi (without a Linux kernel or operating system)

This is a minimal AUv3 instrument app example using AudioKit 5.

Boogie

Dafny is a verification-aware programming language

Kani Rust Verifier

Linux configuration checker for systems to be used for real-time audio

Haskell parser for Dalvik bytecode

The missing package manager for OS X.