Nathanaëlle Courant's repositories
coq-proofs
Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.
foundations-of-proof-systems-project
Project for the "Foundation of proof systems" course of the MPRI.
netlist-simulator
Netlist simulator for the "Digital systems" course at ENS ( http://www.di.ens.fr/~bourke/sysdig.html ). Compiles netlist to C, with some optimizations.
prologin2016
My submission for the prologin2016 contest: http://www.prologin.org
efficient-convertibility
Code repository for the efficient and formally-verified convertibility checker I developed during my Ph.D.
flambda-backend
The Flambda backend project for OCaml
flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
minetest.github.io
Official Minetest website hosted by Github Pages
minetest_game
The main game for the Minetest game engine [minetest_game] [https://github.com/minetest/minetest/]
polybar-scripts
This is a community project. We write and collect scripts for polybar!
prologin2014
My submission for the prologin2014 contest: http://www.prologin.org
why3-toposort
Topological sort in Why3. School project for the MPRI Proof of programs ( http://francois.bobot.eu/mpri2017/ ) course.