Rodolphe Lepigre (@rlepigre)
github

rlepigre

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    167
  • Global Rank 141,446 (Top 5 %)
  • Followers 44
  • Following 9
  • Registered over 12 years ago
  • Most used languages
    OCaml
         72.7 %
    C
         18.2 %
    Python
         9.1 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 7,601
  • Country Ranking
    OCaml
         2
    C
         1,505

Top repositories

1

ocaml-imagelib

The imagelib library implements image formats such as PNG or PPM
OCaml
39
star
2

ocaml-bindlib

Efficient binder representation in OCaml
OCaml
39
star
3

subml

SubML (prototype) language
OCaml
23
star
4

pml

New version of the PML language and (classical) proof assistant
OCaml
20
star
5

ocaml-earley

Parsing library based on Earley Algorithm
OCaml
17
star
6

cwg

Crossword generator, text, LaTeX and HTML backend
C
9
star
7

bare-metal-aarch64

Fiddling with aarch64 exception levels on a Raspberry Pi 3.
C
9
star
8

ocaml-timed

Timed references for imperative state
OCaml
4
star
9

ocaml-earley-ocaml

Extensible OCaml parser to be used with Earley
OCaml
3
star
10

fmodulo

System F modulo
OCaml
2
star
11

tin171

Python
1
star