UW PLSE

Popular repositories Loading

1. verdi verdi Public

   A framework for formally verifying distributed systems implementations in Coq

   Rocq Prover 626 58

2. verdi-raft verdi-raft Public

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

   Coq 200 19

3. ruler ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 157 16

4. tensat tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 145 20

5. Cassius Cassius Public

   A CSS specification and reasoning engine

   Racket 102 1

6. herbgrind herbgrind Public

   A Valgrind tool for Herbie

   C 97 8