Explore projects

Forked from https://github.com/DSIEtudes/plugin-cas-auth

Règlement intérieur de la Délégation générale, annexes et traductions, à tenir à jour.

Notes du cours de théorie descriptive des ensembles

Netlist simulator implementation by Paul Fournier, for the DigSys project.

Basic operating system for the Operating System course at École Normale Supérieure.

In OCaml.

The internship report for my M1 internship (March-July 2020)

Kotlin Typer for the Compilation course at École Normale Supérieure.