Pinned Repositories
frenchrev.ml
Simple script in OCaml to convert dates into the French Republican calendar.
hugo-page
A simple personal page to be generated with hugo
mi-test
Various tests with ocaml's modular implicits
mini-haskell
A compiler for a subset of Haskell
ocaml-effects
Random pieces of code produced in internship at OCamlLabs
ocaml-reagent
An implementation of reagents for multicore OCaml
ranger
A VIM-inspired filemanager for the console
typing-project
Type for system F + GADTs and defunctionalization, a type-preserving program transformation.
yalci
Yet another lambda calucus implementation.
yinyang-haskell
A haskell version of the yin yang puzzle
theolaurent's Repositories
theolaurent/mini-haskell
A compiler for a subset of Haskell
theolaurent/ocaml-reagent
An implementation of reagents for multicore OCaml
theolaurent/ocaml-effects
Random pieces of code produced in internship at OCamlLabs
theolaurent/yalci
Yet another lambda calucus implementation.
theolaurent/yinyang-haskell
A haskell version of the yin yang puzzle
theolaurent/frenchrev.ml
Simple script in OCaml to convert dates into the French Republican calendar.
theolaurent/hugo-page
A simple personal page to be generated with hugo
theolaurent/mi-test
Various tests with ocaml's modular implicits
theolaurent/ranger
A VIM-inspired filemanager for the console
theolaurent/typing-project
Type for system F + GADTs and defunctionalization, a type-preserving program transformation.
theolaurent/theolaurent.github.io