Popular repositories Loading

1. VerifiedCatenableDeque VerifiedCatenableDeque Public

   "Implementation and verification of catenable constant time deques"

   Jupyter Notebook 5 1

2. carRL carRL Public

   RL project for self driving car in a pygame environment

   Python

3. Double-Ended-Catenable-Deque Double-Ended-Catenable-Deque Public

   OCaml 1

4. nlir nlir Public

   Forked from LLM4Rocq/nlir

   Automatic theorem proving via natural language reasoning with LLMs

   Python

5. M1_ENS_26 M1_ENS_26 Public

   Forked from faenuccio-teaching/M1_ENS_26

   This is the repository for the Master course "Formalisation Mathématique" ENS-Paris in Spring 2026

   HTML