Popular repositories Loading

1. DijkstraMonad DijkstraMonad Public

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

   Lean 10

2. AdventOfFPGA AdventOfFPGA Public

   Bluespec 9 1

3. Superscalar Superscalar Public

   A superscalar RISCV core in bluespec

   Assembly 5 1

4. rust-gcode rust-gcode Public

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

   Rust 4

5. LeanCoInd LeanCoInd Public

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

   Lean 4

6. Spacer Spacer Public

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

   OCaml 3