Popular repositories

1. verdi verdi Public

   A framework for formally verifying distributed systems implementations in Coq

   Coq 576 56

2. verdi-raft verdi-raft Public

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

   Coq 178 18

3. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 108 18

4. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 104 8

5. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 91 7

6. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 90 1