PinnedLoading

1. FStarLang/FStarFStarLang/FStarPublic

   A Proof-oriented Programming Language

   F* 2.8k 236

2. secure-compilation/when-good-components-go-badsecure-compilation/when-good-components-go-badPublic

   Coq formalization for "When Good Components Go Bad" paper

   Coq 7 1

3. QuickChick/QuickChickQuickChick/QuickChickPublic

   Randomized Property-Based Testing Plugin for Coq

   Coq 263 47

4. SSProve/ssproveSSProve/ssprovePublic

   A foundational framework for modular cryptographic proofs in Coq

   Coq 63 11

5. micro-policies/micro-policies-coqmicro-policies/micro-policies-coqPublic

   Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

   Coq 20

6. andricicezar/fstar-ioandricicezar/fstar-ioPublic

   F* 6 4