puffnfresh / crosscheck
Using QuickCheck to test functions in other languages/environments.
☆32Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for crosscheck
- Static blog generator in Idris.☆39Updated 9 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- ☆28Updated 9 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 9 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- Cabal Sandbox manager☆14Updated 8 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- complexity testing for haskell☆47Updated 8 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- A fast Haskell Bloom filter library.☆60Updated last year
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Make your Haskell git repositories fashionable.☆55Updated 6 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- The prelude.☆16Updated 5 years ago
- A more flexible mtl☆64Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago