Haskell framework for generative models of jazz
☆42Jun 24, 2019Updated 6 years ago
Alternatives and similar repositories for Jazzkell
Users that are interested in Jazzkell are comparing it to the libraries listed below
Sorting:
- Play Euterpea Music values through Vivid's real-time audio framework (requires SuperCollider)☆11Sep 18, 2017Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Awesome Agda Programming☆19Sep 22, 2025Updated 6 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆15Feb 15, 2021Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 4 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- Euterpea version 2☆230Aug 13, 2025Updated 7 months ago
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated 2 months ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 7 months ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- Coq plugin for extracting Rust code☆19Mar 2, 2026Updated 2 weeks ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated last month
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- haskell library to parse commandline args - an alternative to optparse-applicative☆20Apr 28, 2023Updated 2 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- Haskell Framework for Electronic Music☆331Feb 10, 2026Updated last month
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and…☆113Sep 26, 2018Updated 7 years ago