Pinned Loading

1. QuickChick/QuickChick QuickChick/QuickChick Public

   Randomized Property-Based Testing Plugin for Coq

   Rocq Prover 274 50

2. QuickChick/Luck QuickChick/Luck Public

   Luck -- A Language for Property-Based Generators

   Haskell 35 4

3. antalsz/urn-random antalsz/urn-random Public

   A Haskell package for updatable discrete distributions

   Coq 12 1

4. invertn_tactic invertn_tactic Public

   Automatic invertn tactic from Adam's dsss17 lectures

   OCaml 1

5. Lefunge Lefunge Public

   A (slightly modified) Befunge. Includes a Graphical Debugger

   OCaml

6. Alan-Compiler Alan-Compiler Public

   NTUA - 8th Semester - Compilers

   OCaml 5