Popular repositories Loading

1. DijkstraMonad DijkstraMonad Public

   formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019

   Lean 8

2. rust-gcode rust-gcode Public

   A work-in-progress implementation of gcode writer for the CNC of hackens

   Rust 4

3. LeanCoInd LeanCoInd Public

   definition of coinductives types (M-types and indexed M-types) in Lean4, and some utilities for reasoning

   Lean 4

4. Superscalar Superscalar Public

   A superscalar cache coherent RISCV core in bluespec using TileLink cache coherency protocol.

   Assembly 4

5. Spacer Spacer Public

   reimplementation of a part of the Spacer model checker using Z3 and OCaml

   OCaml 3

6. SeparationLogic SeparationLogic Public

   Lean 3