5outh / BangLinks
A Drum Machine DSL for Haskell
☆94Updated 6 years ago
Alternatives and similar repositories for Bang
Users that are interested in Bang are comparing it to the libraries listed below
Sorting:
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Exercism exercises in Coq.☆18Updated 7 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- ALGT 2.0☆30Updated 5 years ago
- ☆17Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Demonstrating comonad transformers.☆37Updated 8 years ago
- ☆39Updated 7 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Simple reflection of expressions☆33Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- ☆111Updated last year
- A nice Haskell graphics API. There's always room for jello.☆41Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated 5 months ago
- music!☆24Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- music sequencer and generalized notation☆68Updated 4 months ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 9 months ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago