⌨️
From Verilog to Coq through Zig, Rust and OCaml
Computer science, Esperanto and aviation enthusiast.
Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
-
École Normale Supérieure, Paris.
- Paris
-
02:55
(UTC +01:00) - cst1.fr
- @cst1@nixos.paris
Pinned Loading
-
-
Petit-Julia-2020
Petit-Julia-2020 PublicProjet dans le cadre du cours de compilation, ENS, 2020
OCaml 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.