ctford / kolmogorov-musicView external linksLinks
☆61Jul 12, 2017Updated 8 years ago
Alternatives and similar repositories for kolmogorov-music
Users that are interested in kolmogorov-music are comparing it to the libraries listed below
Sorting:
- Sonic Pi - Leuphana WS15/16☆15May 29, 2016Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- A music composition library for Clojure and Clojurescript.☆465Dec 15, 2025Updated 2 months ago
- Use the power of Ruby to convert, edit and save synthdefs for SuperCollider☆10Mar 4, 2018Updated 7 years ago
- View shadertoy shaders on your keyboard, save them and use them as your keyboard background animation!☆10Dec 14, 2016Updated 9 years ago
- Experimental capstone app for ClojureBridge curriculum using Quil☆25Sep 3, 2016Updated 9 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Slides for Clojure Remote 2016☆10Feb 19, 2016Updated 9 years ago
- Church-encoding of the Freer monad☆28Oct 27, 2016Updated 9 years ago
- Algoritmarte VCV Rack Modules☆17Feb 25, 2022Updated 3 years ago
- Source code for algorithmic music release on Xylem Records.☆18Sep 22, 2015Updated 10 years ago
- Open-source implementation of the original quick search for Unity 3D.☆14Apr 16, 2019Updated 6 years ago
- 4 Stage Modulation Sequencer for VCV Rack☆14May 13, 2022Updated 3 years ago
- Lunetta Modula by Count Modula. Lunetta modules for VCV Rack☆18Jan 2, 2023Updated 3 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Store ChucK code with continuous integration of audio to SoundCloud☆14Mar 2, 2020Updated 5 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆17Jul 29, 2018Updated 7 years ago
- Evolutionary art project in Clojure☆33Jan 15, 2025Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Pluck String AudioNode for Web Audio API☆17Dec 18, 2016Updated 9 years ago
- A Kotlin implementation of inkle's open source scripting language (ink) for writing interactive narrative. http://www.inklestudios.com/in…☆18Mar 4, 2019Updated 6 years ago
- (This is the original Glitch, no longer supported). See https://github.com/naivesound/glitch instead☆38Jul 26, 2016Updated 9 years ago
- A talk on type-generic FFT in Haskell☆46Oct 24, 2021Updated 4 years ago
- Start☆16May 31, 2016Updated 9 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- A template for phaser games written in CLJS, has the right configs to enable REPL driven dev.☆21Jan 7, 2023Updated 3 years ago
- Nat, Fin, Vec☆25May 2, 2025Updated 9 months ago
- Dead Easy Continuous Integration and Testing☆22May 25, 2016Updated 9 years ago
- ☆23Dec 6, 2017Updated 8 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- A formal moral framework coded in Haskell☆49Mar 2, 2015Updated 10 years ago
- Notes & Code as I attempt to figure out overtone.☆42May 19, 2015Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- 🔗Data binding components for Unity3d upm package☆25Dec 17, 2019Updated 6 years ago
- Come with us now on a journey ♪☆64Oct 12, 2017Updated 8 years ago
- Infer specs from SpecificRecord Java classes of any Avro named type (record, fixed, or enum)☆27Sep 26, 2025Updated 4 months ago