Rodolphe Lepigre
Results
5
repositories owned by
Rodolphe Lepigre
ocaml-bindlib
39
Stars
6
Forks
Watchers
Efficient binder representation in OCaml
ocaml-earley
17
Stars
2
Forks
Watchers
Parsing library based on Earley Algorithm
ocaml-imagelib
33
Stars
13
Forks
Watchers
The imagelib library implements image formats such as PNG or PPM
pml
18
Stars
2
Forks
Watchers
New version of the PML language and (classical) proof assistant
subml
23
Stars
2
Forks
Watchers
SubML (prototype) language