@hackage / lazysmallcheck

A library for demand-driven testing of Haskell programs

0.6

Dependents

@hackage / CV OpenCV based machine vision library
- Version: 0.3.7
- Last uploaded: 13 years ago
- License: LicenseRef-GPL
@hackage / Hoed Lightweight algorithmic debugging.
- Version: 0.5.1
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / JYU-Utils Some utility functions for JYU projects
- Version: 0.1.1.2
- Last uploaded: 15 years ago
- License: MIT
@hackage / Stream A library for manipulating infinite lists.
- Version: 0.4.7.2
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / computational-algebra Well-kinded computational algebra library, currently supporting Groebner basis.
- Version: 0.5.1.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / data-fin Finite totally ordered sets
- Version: 0.1.1.3
- Last uploaded: 12 years ago
- License: BSD-3-Clause
@hackage / minesweeper Minesweeper game which is always solvable without guessing
- Version: 0.9.2.1
- Last uploaded: 12 years ago
- License: BSD-3-Clause
@hackage / peano-inf Lazy Peano numbers including observable infinity value.
- Version: 0.6.5
- Last uploaded: 17 years ago
- License: BSD-3-Clause
@hackage / rivers Rivers are like Streams, but different.
- Version: 0.1.0
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / smartcheck A smarter QuickCheck.
- Version: 0.2.4
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / visual-graphrewrite Visualize the graph-rewrite steps of a Haskell program
- Version: 0.4.0.1
- Last uploaded: 16 years ago
- License: BSD-3-Clause