Popular repositories Loading

1. CTTDedukti CTTDedukti Public

   The first implementation of CTT in Dedukti, using a Two Layer Type Theory

   1

2. demo_git demo_git Public

   Un entrainement pour maitriser git

   JavaScript

3. Space-boy Space-boy Public

   A platform test game that i'm gonna make to learn lua and to train myself to use an Entity Component System.

4. Training-tuto Training-tuto Public

   Me following tuto

   C++

5. DMProg2 DMProg2 Public

   My project for the programmation 2 DM at ENS Cachan

   OCaml

6. AgdaProofs AgdaProofs Public

   My agda proofs for my internship at Chalmers with Mr. Coquand

   Agda 1