Stars
A proof assistant for higher-dimensional type theory
Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.
⚡️🎛⚡️ CV instruments for Tidal Cycles
The rsh-improElectronics is a straightforward SuperCollider live improvisation architecture holding several live-effects, sample-playback-structures and electronic instruments.
Active development of Cuis Smalltalk
SuperCollider dynamic per-note synth patching
MOVED TO CODEBERG - Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Utilities for plotting and analyzing dynamical systems
Source code for SonoBus, a real-time network audio streaming collaboration tool.
SuperCollider library for Python https://sc3.readthedocs.io
A modern commutative diagram editor for the web.
Archive of LISP Machine, Inc.
A SuperCollider client for CommonLisp
Web-based P2P collaborative editor for live coding sounds and images
code + contents of my website, and programming life
Textstelle is a collection of corpora for the creation of bots and other things that generate text 🤖