Repositories list

• QuickChick

  Public
  Randomized Property-Based Testing Plugin for Coq

  testingcoq

  Coq

  •

  Other

  •48•263•88•4•Updated Apr 2, 2025Apr 2, 2025

• Luck

  Public
  Luck -- A Language for Property-Based Generators

  Haskell

  •

  MIT License

  •3•34•0•0•Updated Feb 28, 2025Feb 28, 2025

• IFC

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

  Coq

  •

  Other

  •0•12•3•0•Updated Nov 3, 2022Nov 3, 2022

• TestingNoninterference

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

  Haskell

  •

  Other

  •2•7•1•0•Updated Aug 8, 2015Aug 8, 2015