Popular repositories

1. verdi verdi Public

   A framework for formally verifying distributed systems implementations in Coq

   Coq 573 57

2. verdi-raft verdi-raft Public

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

   Coq 177 18

3. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 104 16

4. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 102 8

5. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 90 1

6. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 89 7