humane-software / haskell-bddLinks
A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell
☆18Updated 10 years ago
Alternatives and similar repositories for haskell-bdd
Users that are interested in haskell-bdd are comparing it to the libraries listed below
Sorting:
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- 2048 in Idris☆123Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- A full-stack Haskell web application starter project.☆43Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- A tiny DSL for HTML5 Canvas☆34Updated 6 years ago
- Snap integration for the websockets library☆33Updated last year
- Classic games recreated in netwire☆94Updated 8 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 3 months ago
- ☆90Updated 9 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Updated 8 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 9 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆31Updated 9 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- A little Doom-like 2.5 game engine☆83Updated 10 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Testing with monadic side-effects☆33Updated 4 years ago
- Universal and robust reloading for Haskell web applications☆70Updated 3 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 11 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago