Popular repositories Loading

1. MiniJava MiniJava Public

   Transpiler from MiniJava to C written in OCaml

   OCaml 5 10

2. BareMetalTetris BareMetalTetris Public

   Bare metal tetris

   C 1 1

3. TetrisAI TetrisAI Public

   Learning to play Tetris with the noisy cross entropy method

   C++ 1

4. Prolog Prolog Public

   Tree walk interpreter of a subset of Prolog

   HTML 1

5. regex regex Public

   Regular expressions matching to illustrate lexical analysis in MiniJava transpiler

   OCaml

6. mini-c mini-c Public

   My solution to the mini-c project of Jean-Christophe Filliâtre

   OCaml