Explore projects

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.

Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.

A formally verified bootloader for RIOT OS (arm version)

Exploring vectorized transposition in CPU for small matrices

Setup Debian and MacOSX machines so that our backuppc instance can access them. Do not run this software if you are not related to datapol (unless you really want us to gain root access on your machine...)

Clean version of Transcoded ADA PSC optimizer

A vanilia neural network for our statistic project at ENS rennes

Simple project to try writing a dependency simulator with Valgrind

Containerized documentation of customer environments