@QuickChick
Guthub

QuickChick

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    301
  • Global Org. Rank 32,270 (Top 11 %)
  • Registered over 10 years ago
  • Most used languages
    Coq     50.0 %
    Haskell
         50.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 22,616
  • Country Ranking
    Coq     8
    Haskell
         436

Top repositories

1

QuickChick

Randomized Property-Based Testing Plugin for Coq
Coq
253
star
2

Luck

Luck -- A Language for Property-Based Generators
Haskell
31
star
3

IFC

Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
Coq
11
star
4

TestingNoninterference

Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC
Haskell
6
star