Pinned Repositories
picdc.github.io
Custom-Scheme-Interpreter
A custom Scheme Interpreter designed in OCaml.
hashlife-ocaml
Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).
mpri13
ML type inference in presence of type classes
newspeak
Abstract interpretation project
nowork-repository
pave
Process Algebra Ve'rifier
so-many-theories
Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.
tep-dlpcf
Work for TEP courses, in our case the summary of an article about Linear Dependent Types in Call-by-Value Scenario
tvshow-conv-rename
A simple tool that scan a directory and subdirectory for video files, and renames them according to the convention adopted by Kodi/Plex, etc.
Thriim's Repositories
Thriim/hashlife-ocaml
Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).
Thriim/so-many-theories
Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.
Thriim/Custom-Scheme-Interpreter
A custom Scheme Interpreter designed in OCaml.
Thriim/mpri13
ML type inference in presence of type classes
Thriim/newspeak
Abstract interpretation project
Thriim/nowork-repository
Thriim/pave
Process Algebra Ve'rifier
Thriim/tep-dlpcf
Work for TEP courses, in our case the summary of an article about Linear Dependent Types in Call-by-Value Scenario
Thriim/tvshow-conv-rename
A simple tool that scan a directory and subdirectory for video files, and renames them according to the convention adopted by Kodi/Plex, etc.