isovector/jazz external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

isovector/jazz

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/isovector/jazz)

Close

isovector / jazzView on GitHubMore

• External links
• Readme badge

i bet you there is a typesystem behind music

☆32Oct 24, 2018Updated 7 years ago

Alternatives and similar repositories for jazz

Users that are interested in jazz are comparing it to the libraries listed below

• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• Lysxia / generic-recursion-schemes

  View on GitHub
  Folds for recursive types with GHC Generics
  ☆28Aug 9, 2025Updated 6 months ago
• mstksg / lens-typelevel

  View on GitHub
  Type-level lenses using singletons because why not
  ☆15Dec 19, 2018Updated 7 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• simonmar / toy-haxl

  View on GitHub
  A toy implementation of Haxl to illustrate the internals
  ☆22Jun 29, 2017Updated 8 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• yigitozkavci / typelevel-dijkstra-sp

  View on GitHub
  Dijkstra's shortest path algorithm implemented at type level with Haskell
  ☆20Dec 11, 2017Updated 8 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• isovector / constraints-emerge

  View on GitHub
  📤 defer instance resolution until runtime
  ☆18Sep 23, 2019Updated 6 years ago
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago
• lambdageek / freer-church

  View on GitHub
  Church-encoding of the Freer monad
  ☆28Oct 27, 2016Updated 9 years ago
• goldfirere / effects

  View on GitHub
  A Haskell translation of Idris's original algebraic effects library
  ☆41Sep 23, 2016Updated 9 years ago
• sebastianardelean / qchas

  View on GitHub
  ☆17Jul 29, 2018Updated 7 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs

  View on GitHub
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Sep 16, 2018Updated 7 years ago
• rampion / kinder-functor

  View on GitHub
  An alternate definition of Haskell's Functor typeclass
  ☆42Jun 18, 2019Updated 6 years ago
• Icelandjack / deriving-via

  View on GitHub
  Deriving via
  ☆33Aug 6, 2018Updated 7 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• yobson / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆18Jan 10, 2026Updated last month
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• puffnfresh / th-pprint

  View on GitHub
  Simplify and render Template Haskell
  ☆18Aug 19, 2018Updated 7 years ago
• xu-hao / QueryArrow

  View on GitHub
  A semantically unified SQL and NoSQL query and update system
  ☆18Jan 20, 2019Updated 7 years ago
• isovector / do-notation

  View on GitHub
  deprecated in favor of -XQualifiedDo
  ☆41May 8, 2021Updated 4 years ago
• sdiehl / dive-into-ghc

  View on GitHub
  Dive into GHC
  ☆82Dec 26, 2016Updated 9 years ago
• themattchan / haskell-tiger

  View on GitHub
  Modern compiler implementation in ML, in Haskell
  ☆16Apr 4, 2018Updated 7 years ago
• jaseemabid / Olifant

  View on GitHub
  A simple programming language targeting LLVM
  ☆64Oct 15, 2018Updated 7 years ago
• orome / crypto-enigma-hs

  View on GitHub
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Dec 2, 2022Updated 3 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• devonhollowood / search-algorithms

  View on GitHub
  Haskell library containing common graph search algorithms
  ☆54Jun 28, 2025Updated 8 months ago
• jwiegley / notes

  View on GitHub
  ☆49Dec 31, 2025Updated 2 months ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• tfausak / grotesque

  View on GitHub
  An implementation of GraphQL in Haskell.
  ☆21Jun 17, 2017Updated 8 years ago
• glguy / generic-traverse

  View on GitHub
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Oct 11, 2018Updated 7 years ago