This is stars and forks stats for /QuickChick/QuickChick repository. As of 27 Apr, 2024 this repository has 230 stars and 43 forks.
QuickChick Description Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck Includes a foundational verification framework for testing code Includes a mechanism for automatically deriving generators for inductive relations Tutorial Small tutorials on Basic Usage and Automation can be found under tutorials/ An extended introduction can be found in QuickChick: Property-Based Testing in Coq (Software Foundations, Volume 4) Installation From OPAM # Add the Coq opam repository...
QuickChick Description Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck Includes a foundational verification framework for testing code Includes a mechanism for automatically deriving generators for inductive relations Tutorial Small tutorials on Basic Usage and Automation can be found under tutorials/ An extended introduction can be found in QuickChick: Property-Based Testing in Coq (Software Foundations, Volume 4) Installation From OPAM # Add the Coq opam repository...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
tlringer/proof-demos | Coq | 38 | 0 | 1 | 0 |
uds-psl/coq-library-undecidability | CoqOther | 96 | 0 | 24 | 0 |
snu-sf/paco | CoqPythonOther | 38 | 0 | 10 | 0 |
coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
ShiniGandhi/JellyTheme | CSS | 62 | 0 | 13 | 0 |
sefyudem/Sliding-Sign-In-Sign-Up-Form | CSSHTMLJavaScript | 717 | 0 | 655 | 0 |
jyotirmoy-paul/planets | DartC++CMake | 85 | 0 | 32 | 0 |
smarttang/w3a_SOC | PythonDockerfileShell | 276 | 0 | 157 | 0 |
dhvitOP/AnimeEZ | CSSEJSJavaScript | 97 | 0 | 53 | 0 |
eigr/massa | ElixirShellDockerfile | 54 | 0 | 5 | 0 |