Pinned Repositories
ArduinoStar
CoIndStar
implementation of ocinductive datatypes and interaction trees in FStar
DijkstraMonad
formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019
DOoOM
DOoOM Out-Of-Order Machine
fstar-experiments
multiples expérimentations autours du langage F*
LeanCat
toy implementation of category in Lean4
rust-gcode
A work-in-progress implementation of gcode writer for the CNC of hackens
SeparationLogic
Spacer
reimplementation of a part of the Spacer model checker using Z3 and OCaml
VimFStar
A Vim mode for FStar (fork from https://github.com/FStarLang/VimFStar)
RemyCiterin's Repositories
RemyCiterin/DijkstraMonad
formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019
RemyCiterin/rust-gcode
A work-in-progress implementation of gcode writer for the CNC of hackens
RemyCiterin/SeparationLogic
RemyCiterin/Spacer
reimplementation of a part of the Spacer model checker using Z3 and OCaml
RemyCiterin/ArduinoStar
RemyCiterin/CoIndStar
implementation of ocinductive datatypes and interaction trees in FStar
RemyCiterin/fstar-experiments
multiples expérimentations autours du langage F*
RemyCiterin/LeanCat
toy implementation of category in Lean4
RemyCiterin/VimFStar
A Vim mode for FStar (fork from https://github.com/FStarLang/VimFStar)
RemyCiterin/DOoOM
DOoOM Out-Of-Order Machine
RemyCiterin/hegg
Fast equality saturation in Haskell
RemyCiterin/jax-experiments
RemyCiterin/jax-rl
RemyCiterin/LeanCoInd
definition of coinductives types (M-types and indexed M-types) in Lean4, and some utilities for reasoning
RemyCiterin/mathlib4
Work in progress mathlib port for lean 4
RemyCiterin/MiniLustre
RemyCiterin/nixos-config
RemyCiterin/zig-scheduler
a work in progress scheduler for zig using work stealing with Chase-Lev deque
RemyCiterin/ZigSAT
A work in progress SAT solver write in Zig