Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell quickcheck
haskell
x
quickcheck
x
71 search results found
Haskell Hedgehog
⭐
657
Release with confidence, state-of-the-art property testing for Haskell.
Tasty
⭐
628
Modern and extensible testing framework for Haskell
Doctest
⭐
366
An implementation of Python's doctest for Haskell
Quickspec
⭐
243
Equational laws for free
Quickcheck State Machine
⭐
192
Test monadic programs using state machine based models
Fgl
⭐
181
A Functional Graph Library for Haskell
Agda2hs
⭐
155
Compiling Agda code to readable Haskell
Smallcheck
⭐
134
Test your Haskell code by exhaustively checking its properties
Cppquickcheck
⭐
106
QuickCheck-like property based automated testing tool for C++
Spaceleak
⭐
90
Notes on space leaks
Generic Random
⭐
78
Generic random generators
Split
⭐
54
Standard Haskell list splitting library.
Nltquickcheck
⭐
47
like haskell quickcheck
Fake
⭐
41
Generate realistic looking fake data
Pyqcy
⭐
40
QuickCheck-like testing framework for Python
Servant Quickcheck
⭐
38
Xmonad
⭐
38
xmonad in Coq
Lplzoo
⭐
31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Speculate
⭐
30
Speculate laws about Haskell functions
Easyspec
⭐
28
Signature inference for Functional Property Discovery in Haskell
Haskell Testing Stub
⭐
27
Stub project showing how to organize tests and benchmarks in Haskell
Haskell Decimal
⭐
25
Queencheck
⭐
24
like haskell's QuickCheck
Quickcheck Dynamic
⭐
23
A library for stateful property-based testing
Exampleholeplugin
⭐
22
Roboservant
⭐
21
generate contextually sensible fuzz tests for servant apps
Proptest
⭐
19
Property-based testing a'la QuickCheck for TypeScript and JavaScript
How To Specify It
⭐
18
"How to Specify it" in Java and jqwik
Haskell Titan
⭐
16
Testing Infrastructure for Temporal AbstractioNs
Afpcourse
⭐
16
http://www.cse.chalmers.se/edu/course/afp/
Haskell Schema
⭐
16
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Quickcheck Higherorder
⭐
15
QuickCheck extension for higher-order properties
57 Exercises For Programmers
⭐
15
Exercises for Programmers: 57 Challenges to Develop Your Coding Skills
Quickcheck Regex
⭐
15
Generate regex-constrained strings for QuickCheck
Test Generator
⭐
14
Automagically (using Template Haskell) generates the Haskell-code you need when using HUnit
Qc Instances
⭐
13
Instances for QuickCheck classes
Cis 194 Spring 2017
⭐
13
A modified version of the University of Pennsylvania's CIS194
Qc Instances
⭐
12
Instances for QuickCheck classes
Cis 194 Summer 2018
⭐
12
A modified version of the University of Pennsylvania's CIS194
Easytest
⭐
11
Simple testing toolkit
Ocaml Quickcheck
⭐
11
A mechanical translation of the Haskell QuickCheck library into Ocaml
Haskell Markup
⭐
11
Haskell implementation of a Markup processing system.
Robin
⭐
10
MIRROR of https://codeberg.org/catseye/Robin : A Scheme-like language where both functions and macros are defined in terms of fexprs
Codex
⭐
10
Web app for programming exercises
Hsexprtest
⭐
9
Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.
Haskell Kicad Data
⭐
9
Parse and write KiCad data in Haskell.
Qcheck
⭐
8
QuickCheck like test library
Haskell Test Sandbox
⭐
8
Tbc
⭐
8
Testing by convention for Haskell
Delve
⭐
8
The Delve Programming Language
Quickcheck Io
⭐
8
Use HUnit assertions as QuickCheck properties
Fuzzcheck
⭐
8
A library for testing monadic code in the spirit of QuickCheck
Minicheck
⭐
7
A QuickCheck written in Clojure - just playing around
Quipper
⭐
7
quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - unofficial fork.
Amsthm To Anki
⭐
7
Translate math notes written with the amsthm package to Anki notecards!
Avd
⭐
6
A repository for backing up and sharing AVD exercises
Lisk
⭐
6
an educational lisp interpreter written in haskell
Hands On Haskell
⭐
6
This repo contains exercises for learning Haskell, with tests for verifying the solutions.
Hedgehog Inline Java Testing
⭐
6
haskell-hedgehog's model-based state machine testing together with inline-java
Phpcheck
⭐
6
A testing library for PHP loosely based on Haskell's QuickCheck library.
Plutarch Quickcheck
⭐
6
Pain-free QuickCheck helpers for Plutarch
Fuzzer
⭐
6
Fuzzing C-Compilers with QuickCheck
Tasty Auto
⭐
6
Deprecated: Auto discovery for the Tasty test framework, use tasty-discover instead
Quickcheck Arbitrary Template
⭐
5
Arbitrary QuickCheck instance generation using template haskell
Handbook Of Practical Logic And Automated Reasoning Haskell
⭐
5
Quickcheck Special
⭐
5
Edge cases and special values for QuickCheck Arbitrary instances
Quickcheck State Machine Distributed
⭐
5
Test monadic programs using state machine based models
Sitecheck
⭐
5
Single domain web site testing crawler library for Haskell
Smallcheck4scala
⭐
5
SmallCheck for Scala
Haskell 99 Problems
⭐
5
Ninety-Nine Haskell Problems
Hs Sympo 2012
⭐
5
Our paper to Haskell Symposium 2012
Related Searches
Haskell Ghc (1,284)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (793)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-71 of 71 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.