Popular repositories

1. DaViz DaViz Public

   DaViz is a tool for simulating and visualizing distributed algorithms.

   Java 10 2

2. lean-abs lean-abs Public

   Formalization of proof system for ABS in the Lean theorem prover

   Lean

3. linkedlist-tutorial linkedlist-tutorial Public

   Java 1

4. OSL OSL Public

   On Separation Logic

   Coq

5. jscoq jscoq Public

   Forked from jscoq/jscoq

   A port of Coq to Javascript -- Run Coq in your Browser

   JavaScript

6. programmable-branch-prediction programmable-branch-prediction Public

   Coq formalization of Programmable Branch Prediction

   Coq