|
|
OCaml |
2 |
OCaml QuickCheck |
Oct 25, 2013 |
|
|
OCaml |
299 |
QuickCheck inspired property-based testing for OCaml. |
May 07, 2023 |
|
|
OCaml |
6 |
Library for making arbitrary network structures for use with ocaml-quickcheck and ocaml-cstruct . |
Feb 25, 2018 |
|
|
Clojure |
3 |
QuickCheck clone |
Jun 28, 2022 |
|
|
Clojure |
1069 |
QuickCheck for Clojure |
Aug 18, 2022 |
|
|
Rust |
6 |
quickcheck for Rust |
Jul 28, 2014 |
|
|
Haskell |
3 |
A QuickCheck manual |
Jun 18, 2022 |
|
|
Objective-C |
48 |
like haskell quickcheck |
Jan 28, 2023 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |
|
|
OCaml |
4 |
testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that |
Aug 03, 2020 |
|
|
OCaml |
4 |
Tools for making, manipulating, and viewing cross-stitch patterns. |
Feb 03, 2022 |
|
|
OCaml |
4 |
Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness |
Jun 10, 2019 |
|
|
OCaml |
4 |
Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … |
Jul 20, 2022 |
|
|
OCaml |
4 |
None |
Jan 14, 2019 |
|
|
OCaml |
4 |
Modular type checking using open types |
Feb 12, 2016 |
|
|
OCaml |
4 |
SCGI protocol library for use in ocaml web applications |
Nov 26, 2020 |