isovector / jazzLinks
i bet you there is a typesystem behind music
☆32Updated 6 years ago
Alternatives and similar repositories for jazz
Users that are interested in jazz are comparing it to the libraries listed below
Sorting:
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Agda-style equational reasoning in Haskell☆53Updated last month
- Recursion schemes for Idris☆64Updated 6 years ago
- Generic random generators☆81Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Comma (and other) separated values☆78Updated last year
- An experiment in functional interface design☆24Updated 8 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- Brent's PhD thesis.☆63Updated 9 years ago
- ☆40Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Source for personal blog.☆77Updated 2 months ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Composable probability monads in Haskell.☆22Updated 9 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Haskell plotting library☆44Updated 9 months ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- haskell memory☆48Updated last year
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago