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 189 19

3. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 132 19

4. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 130 13

5. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 96 1

6. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 94 8