Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell properties
haskell
x
properties
x
19 search results found
Haskell Hedgehog
⭐
657
Release with confidence, state-of-the-art property testing for Haskell.
Smallcheck
⭐
134
Test your Haskell code by exhaustively checking its properties
Fitspec
⭐
73
refine properties for testing Haskell programs
Leancheck
⭐
50
enumerative property-based testing for Haskell
Servant Quickcheck
⭐
38
Easyspec
⭐
28
Signature inference for Functional Property Discovery in Haskell
Hedgehog Checkers
⭐
24
Like the checkers library, but for hedgehog. Common stuff you'd want to check.
Reflex Dom Svg
⭐
21
Helper package for working with SVG in Reflex
Salak
⭐
19
Haskell Configuration Loader
How To Specify It
⭐
18
"How to Specify it" in Java and jqwik
Quickcheck Higherorder
⭐
15
QuickCheck extension for higher-order properties
Compiler
⭐
11
High level AWS CloudFormation language and compiler
Thesis
⭐
9
Liquid Haskell: How to turn Haskell into a Theorem Prover
Free Proving Code
⭐
8
Library to model effectful programs and prove properties about these programs in Coq
Quickcheck Io
⭐
8
Use HUnit assertions as QuickCheck properties
Hspaillier
⭐
7
Simple Paillier cryptosystem
Registry Hedgehog
⭐
7
registry utilities to work with Hedgehog generators
Opwer
⭐
5
command line tool to search for jobs on Upwork and filter the results
Hs Sympo 2012
⭐
5
Our paper to Haskell Symposium 2012
Related Searches
Javascript Properties (3,187)
Java Properties (1,324)
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
C Sharp Properties (718)
Python Properties (682)
Haskell Monad (681)
Haskell Hackage (574)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.