9 search results for "tag:"quickcheck""

Showing 1 - 9
  1. qcheck

    No documentation

    0.25
    BSD-2-Clause
    Used by 61 other packages
    07 Apr 2025
  2. qcheck-alcotest

    No documentation

    0.25
    BSD-2-Clause
    Used by 74 other packages
    07 Apr 2025
  3. qcheck-core

    No documentation

    0.25
    BSD-2-Clause
    Used by 41 other packages
    07 Apr 2025
  4. qcheck-lin

    No documentation

    0.8
    BSD-2-clause
    Used by 0 other packages
    10 Apr 2025
  5. 0.8
    BSD-2-clause
    Used by 8 other packages
    10 Apr 2025
  6. qcheck-ounit

    No documentation

    0.25
    BSD-2-Clause
    Used by 4 other packages
    07 Apr 2025
  7. qcheck-stm

    No documentation

    0.8
    BSD-2-clause
    Used by 9 other packages
    10 Apr 2025
  8. A simple state-machine framework for OCaml based on QCheck
    0.1.1
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2019
  9. 2.11.2
    Used by 20 other packages
    12 Feb 2021