Explore projects

~/bin/

MOVED TO https://github.com/gmevel/euler-lib ! an arithmetic library for OCaml’s standard integers

Program logic for developing and verifying distributed systems

implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)

Projet de compilation de Petit Go en OCaml de programmation 1

Proof Assistant for Category Theory

Transform multiple machines into a cluster.