Pinned Loading

1. carving carving Public

   Seam carving images in Rust

   Rust

2. game-server game-server Public

   Gleam

3. 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

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. why3 why3 Public

   Ongoing work for proving correctness using why3

   OCaml