Alternatives and similar repositories for Bang

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

• JeffreyBenjaminBrown / monome
  ☆17Updated 4 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 7 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• DanBurton / tardis
  ☆111Updated last year
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 7 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 8 months ago
• afcondon / purescript-d3-tagless
  Applying the "finally tagless, partially evaluated" style to a D3 eDSL
  ☆14Updated 5 years ago
• qfpl / reflex-tutorial
  ☆29Updated 5 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 8 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 12 years ago