Popular repositories Loading

1. verdi verdi Public

   A framework for formally verifying distributed systems implementations in Coq

   Coq 608 56

2. verdi-raft verdi-raft Public

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

   Coq 188 19

3. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 127 19

4. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 126 11

5. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 95 1

6. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 94 8