Pinned

1. SATurne Public

   Tiny verified SAT-solver

   Coq 14 3

2. owl Public

   A mini language for logic programming

   OCaml 21 1

3. minilog Public

   A verified Implementation of a mini prolog

   Coq 14

4. Maybe Public

   A tiny probabilist functional language

   OCaml 4

5. metamatix Public

   A verified implementation of a metamath proof checker

   Coq 9

6. WiSE Public

   A formally verified bug finder

   Coq 6