|
Haskell |
6 |
Arbitrary QuickCheck instance generation using template haskell |
Feb 17, 2021 |
|
Haskell |
196 |
An experimental grammar fuzzer in Haskell using QuickCheck |
Mar 23, 2023 |
|
Haskell |
4 |
Get counterexamples out of QuickCheck as Haskell values |
Dec 05, 2019 |
|
C++ |
111 |
QuickCheck-like property based automated testing tool for C++ |
Dec 04, 2022 |
|
XSLT |
2 |
Samples of using FsCheck in F#, side-by-side with QuickCheck in Haskell |
Jan 27, 2017 |
|
Java |
87 |
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype. |
May 19, 2022 |
|
Clojure |
3 |
QuickCheck clone |
Jun 28, 2022 |
|
OCaml |
2 |
OCaml QuickCheck |
Oct 25, 2013 |
|
OCaml |
2 |
OCaml QuickCheck |
Jul 06, 2019 |
|
TypeScript |
3245 |
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript |
Oct 10, 2022 |
|
Python |
6 |
Randomized testing library for Python; like a subset of Haskell's QuickCheck. |
Aug 13, 2019 |
|
Haskell |
2 |
like make by haskell |
Jan 01, 2020 |
|
Clojure |
1069 |
QuickCheck for Clojure |
Aug 18, 2022 |
|
Rust |
6 |
quickcheck for Rust |
Jul 28, 2014 |
|
Haskell |
3 |
A QuickCheck manual |
Jun 18, 2022 |
|
Rust |
3 |
quickcheck for Rust |
Aug 13, 2019 |
|
Elixir |
82 |
QuickCheck for Elixir |
May 04, 2023 |
|
Erlang |
12 |
Example QuickCheck models |
May 04, 2023 |
|
Clojure |
2 |
QuickCheck for Clojure |
May 14, 2022 |
|
Haskell |
8 |
Quickcheck for Polysemy |
Feb 08, 2023 |
|
Common Lisp |
3 |
Randomized testing library for Common Lisp; like a subset of Haskell's QuickCheck. |
Aug 13, 2019 |
|
Haskell |
4 |
Generic list-like structures [Haskell] |
Nov 26, 2021 |
|
Haskell |
3 |
turtle like LOGO in haskell |
Jun 06, 2022 |
|
Haskell |
35 |
Rails-like inflections for Haskell |
Jun 24, 2022 |
|
Haskell |
2 |
Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp |
Dec 24, 2019 |
|
Haskell |
12 |
Instances for QuickCheck classes |
Jan 01, 2022 |
|
JavaScript |
2 |
A quickcheck in javascript |
Jun 16, 2016 |
|
JavaScript |
5 |
Experimental BuckleScript quickcheck implementation |
Jun 12, 2019 |
|
Common Lisp |
66 |
cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework |
Jul 25, 2022 |
|
HTML |
12 |
Haskell-like List Comprehension in JavaScript |
Nov 10, 2020 |
|
Haskell |
15 |
Simple rogue-like game in Haskell |
Aug 06, 2022 |
|
Haskell |
9 |
Generic list-like structures [Haskell] (unmaintained) |
Aug 02, 2021 |
|
Haskell |
2 |
OCaml-like interpreter written in Haskell |
Dec 28, 2019 |
|
Haskell |
9 |
Haskell-Gloss Doom-like 3D shooter |
Feb 02, 2023 |
|
Haskell |
6 |
QuickCheck properties for monad classes |
Oct 08, 2020 |
|
Erlang |
11 |
escript wrapper for QuickCheck Mini |
Jul 08, 2019 |
|
Haskell |
2 |
Enumeration types for quickcheck properties |
Dec 05, 2019 |
|
JavaScript |
18 |
QuickCheck Library using Fantasy-Land |
May 19, 2020 |
|
Haskell |
30 |
Quickcheck Properties for common typeclasses |
Dec 06, 2021 |
|
OCaml |
2 |
QuickCheck with shrinking for free |
Feb 08, 2021 |
|
Erlang |
7 |
QuickCheck models for aeternity/epoch |
Mar 31, 2021 |
|
Erlang |
2 |
Rebar plugin for Quviq's QuickCheck |
Jan 01, 2021 |
|
Erlang |
2 |
Ranking of implementations using QuickCheck |
Mar 27, 2017 |
|
Haskell |
3 |
[WIP] Pico-OTP-like supervisors in Haskell |
Dec 11, 2019 |
|
Haskell |
2 |
An opinionated scheme-like interpreter in Haskell |
Jul 31, 2020 |
|
Shell |
3 |
Like nodenv, rbenv, just for haskell/ghc |
Mar 19, 2021 |
|
Haskell |
3 |
Experimental haskell pong-like game collaborative project. |
Feb 25, 2023 |
|
Python |
2 |
Pattern matching (like haskell) for python fonctions |
Mar 02, 2023 |
|
Java |
2 |
A Haskell like language compiling to WebAssembly |
Sep 22, 2022 |
|
Haskell |
5 |
Pain-free QuickCheck helpers for Plutarch |
Jun 16, 2022 |