Alternatives and similar repositories for haskell-bdd

Users that are interested in haskell-bdd are comparing it to the libraries listed below

• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated last year
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated last year
• JPMoresmau / dbIDE
  Prototype of a web based, database driven Haskell IDE
  ☆17Updated 9 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆123Updated 7 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• sseefried / docker-epidemic-build-env
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆31Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated 2 years ago
• thoughtpolice / vacuum
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆18Updated 8 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• arianvp / ghcjs-servant-client
  Automatic generation of haskell functions for querying servant webservices ... in GHCJS!
  ☆13Updated 7 years ago
• ghcjs / diagrams-ghcjs
  diagrams backend that renders directly to an HTML5 canvas
  ☆23Updated 9 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆63Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• mstksg / ghcjs-websockets
  GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)
  ☆21Updated 9 years ago
• wavewave / haskell-android-example
  android app example linked with haskell library using android NDK
  ☆32Updated 9 years ago
• alpmestan / taggy-lens
  lenses, folds, traversals, prisms for taggy
  ☆21Updated 3 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago