Popular repositories Loading

1. verdi verdi Public

   A framework for formally verifying distributed systems implementations in Coq

   Rocq Prover 608 56

2. verdi-raft verdi-raft Public

   An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

   Coq 190 19

3. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 141 14

4. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 134 19

5. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 96 1

6. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 95 8