Pinned Repositories
combine
OCaml library for combinatorics
geoml
A 2d geometry library for ocaml
arboviz
A tool to visualize big trees
combine-presentation
Combine presentation slides and internship report at LRI and at JFLA 2013
flickground
Mini software to choose a random background picture in a flickr user gallery
js_of_combine
An Eliom interface for combine library
kamlhua
A tiny Lua interpreter written in Ocaml
mpri13
ML type inference in presence of type classes
pendulum
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
ppx_comprehension
Syntax extension point for list comprhension
remyzorg's Repositories
remyzorg/kamlhua
A tiny Lua interpreter written in Ocaml
remyzorg/js_of_combine
An Eliom interface for combine library
remyzorg/mpri13
ML type inference in presence of type classes
remyzorg/aar_projet_2013
Projet de Dévelopement des Applications Web, M2 STL 2013
remyzorg/algony_ter_2013
Compiler from a minimal pseudo language to Cubicle input language
remyzorg/cl_projet1
cl_projet1
remyzorg/compilation_m1_2012
Projet de compilation M1 à l'Université Paris-Sud : compilateur d'un sous ensemble de C vers MIPS
remyzorg/eliom
Framework for programming web and mobile applications in OCaml.
remyzorg/gphc2014
remyzorg/ia_newspeak
IA
remyzorg/pave
Process Algebra Ve'rifier
remyzorg/scheme-listings
Scheme syntax highlighting for the LaTeX listings package.
remyzorg/travail_binome_stl
remyzorg/tutorial
The Ocsigen and Eliom tutorial.
remyzorg/tyxml
OCaml library to build valid HTML5 and SVG trees.