LMLC2. Coq
ens-rennes-presentation. A typst template for writing presentations following the guidelines of the ENS Rennes graphic charter
LambdaMLCompiler. C
crocqodile. It's a project
