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
- 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
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 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
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆20Apr 28, 2023Updated 2 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 weeks ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months 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
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- Euterpea version 2☆229Aug 13, 2025Updated 6 months ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 3 months ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 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…☆21Oct 28, 2019Updated 6 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 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
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai☆26Apr 3, 2023Updated 2 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Jan 31, 2016Updated 10 years ago
- Supporting Impelementation for Haskell School of Music☆89Oct 12, 2023Updated 2 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- Haskell bindings for Dear Imgui☆11Dec 19, 2019Updated 6 years ago
- ☆10Dec 5, 2022Updated 3 years ago