humane-software / haskell-bdd
A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell
☆18Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-bdd
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆19Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Online version of GHCi that supports safely executing untrusted code.☆27Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- HTTP cookie parsing and rendering☆18Updated 8 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 3 months ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- ☆22Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- (defunct) Purescript client code generation for Servant☆27Updated 8 years ago
- Hackage search engine☆56Updated 6 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Parsers for various configuration files written in Idris.☆19Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- 2048 in Idris☆121Updated 6 years ago
- Pure Haskell client for the Mandrill JSON API☆17Updated 3 weeks ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago
- A typed logic programming language embedded in Haskell☆49Updated 11 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- Run your Scotty apps over TLS☆25Updated 11 months ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- GHCJS DOM Hello World, an example package☆10Updated 6 months ago