5outh / BangLinks
A Drum Machine DSL for Haskell
☆95Updated 6 years ago
Alternatives and similar repositories for Bang
Users that are interested in Bang are comparing it to the libraries listed below
Sorting:
- music!☆24Updated 8 years ago
- ☆39Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- An implementation of miniKanren in Haskell☆79Updated 12 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- ALGT 2.0☆30Updated 6 years ago
- A Haskell API into HTML5 Canvas☆72Updated 7 months ago
- Haskell tool to generate expressions from types☆101Updated 8 years ago
- A more flexible mtl☆62Updated 7 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- Generic random generators☆81Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 2 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- ☆110Updated 5 months ago
- ☆41Updated 8 years ago
- Easy bidirectional serialization in Haskell☆49Updated 7 years ago
- Classic games recreated in netwire☆95Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- A port of the gloss library from Haskell to Idris☆23Updated 7 years ago
- A magic typeclass that just does it☆126Updated 3 years ago
- music sequencer and generalized notation☆72Updated 2 weeks ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated 2 years ago
- Library to access the GPIO pins on a Raspberry Pi from Haskell.☆44Updated last year
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 6 years ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- Demonstrating comonad transformers.☆36Updated 9 years ago
- Simple lambda prover☆24Updated 10 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago