Popular repositories Loading

1. setpartition_unrank setpartition_unrank Public

   A Go library to lexicographicaly unrank set partitions

   Go 2

2. chaxmat chaxmat Public

   Chaxmat: free, open-source chess trainer for desktop and Android (English/French) · entraîneur d'échecs libre. Analyses your chess.com and Lichess games with Stockfish, drills your openings with sp…

   JavaScript 2

3. Assistant-de-preuve2 Assistant-de-preuve2 Public

   OCaml

4. Assistant-de-preuve Assistant-de-preuve Public

   assistant de preuve au premier ordre créer dans le cadre d'un projet de L3

   OCaml

5. bool-circ bool-circ Public

   implémentation des circuits booléens réalisée dans le cadre d'un projet en L2

   Python

6. monColtALaFac monColtALaFac Public

   Implémentation du jeux Colt Express dans le cadre d'un projet en L2

   Java