Popular repositories Loading

1. MMarchand-NSI.github.io MMarchand-NSI.github.io Public

   My website for teaching french high schoolers

   Python

2. why3 why3 Public

   Ongoing work for proving correctness using why3

   OCaml

3. carving carving Public

   Seam carving images in Rust

   Rust

4. metagrid metagrid Public

   2D grid games engine made for students, based on arcade

   Python

5. pgplant-converter pgplant-converter Public

   This Kotlin app allows to convert plantuml class diagram into PostgresSQL statements.

   Kotlin

6. lexique3-api lexique3-api Public

   Rest API (Axum) allowing to query Lexique3, a french words database maintained by the CNRS. For now the indexing is made With O(1) HashMaps, lets se if i fon't user polars if the queries get more c…

   Rust