Haskell framework for generative models of jazz
☆42Jun 24, 2019Updated 7 years ago
Alternatives and similar repositories for Jazzkell
Users that are interested in Jazzkell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Play Euterpea Music values through Vivid's real-time audio framework (requires SuperCollider)☆12Sep 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 10 months ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Awesome Agda Programming☆19Sep 22, 2025Updated 10 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☆17Jan 20, 2024Updated 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
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mtac in Agda☆29May 4, 2021Updated 5 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
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Euterpea version 2☆233Aug 13, 2025Updated 11 months ago
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 8 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Folds for recursive types with GHC Generics☆28Apr 13, 2026Updated 3 months ago
- A Haskell client library for Cayley database graph☆14Jun 24, 2026Updated 3 weeks ago
- Verified left pad☆19Apr 14, 2018Updated 8 years ago
- A certified semantics for relational programming workout.☆27Jun 29, 2026Updated 3 weeks ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 5 months ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- Find your most-used shell commands☆13Dec 14, 2020Updated 5 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 6 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆20Apr 28, 2023Updated 3 years ago
- Supporting Impelementation for Haskell School of Music☆90Oct 12, 2023Updated 2 years ago