rlepigre/ocaml-bindlib rlepigre/ocaml-bindlib

  • Stars
    star
    39
  • Rank 691,634 (Top 14 %)
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created about 7 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rlepigre/ocaml-bindlib
github

rlepigre

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Efficient binder representation in OCaml

More Repositories

1

ocaml-imagelib

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

subml

SubML (prototype) language
OCaml
23
star
3

pml

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

ocaml-earley

Parsing library based on Earley Algorithm
OCaml
17
star
5

cwg

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

bare-metal-aarch64

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

ocaml-timed

Timed references for imperative state
OCaml
4
star
8

ocaml-earley-ocaml

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

fmodulo

System F modulo
OCaml
2
star
10

tin171

Python
1
star