Popular repositories Loading

1. DijkstraMonad DijkstraMonad Public

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

   Lean 7

2. rust-gcode rust-gcode Public

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

   Rust 3

3. Spacer Spacer Public

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

   OCaml 2

4. SeparationLogic SeparationLogic Public

   Lean 2

5. fstar-experiments fstar-experiments Public

   multiples expérimentations autours du langage F*

   OCaml 1

6. VimFStar VimFStar Public

   Forked from FStarLang/VimFStar

   A Vim mode for FStar (fork from https://github.com/FStarLang/VimFStar)

   Vim Script 1