fengctor / octune
A DSL for creating 8-bit style music
☆22Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for octune
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A 100% browser-based interactive live audio coding environment.☆40Updated 2 years ago
- Haskell framework for generative models of jazz☆40Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- music sequencer and generalized notation☆66Updated 7 months ago
- Music and sound synthesis in Haskell!☆53Updated 5 months ago
- The Stroscot Programming Language☆13Updated 9 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Synless is a language-agnostic tree editor.☆20Updated 3 weeks ago
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated last week
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- A framework for generative art.☆60Updated 3 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Yoneda lemma in every known language☆17Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Port of the Haskell School of Music to Purescript☆21Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A compiler for a simple language using llvm☆35Updated last year
- ☆39Updated 3 months ago
- Lambda calculus go brrrr☆28Updated last year
- A Haskell module for PortMidi audio library.☆13Updated 3 months ago
- A Teeny Type Theory☆26Updated 2 years ago
- An esoteric programming language build around macros☆40Updated 3 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- ICFP tutorial☆40Updated 3 years ago