rlepigre/subml

Stars
23
Rank 1,016,462 (Top 21 %)
Language
OCaml
Created about 7 years ago
Updated over 2 years ago

rlepigre/subml

rlepigre

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

SubML (prototype) language

ocaml-imagelib

The imagelib library implements image formats such as PNG or PPM

ocaml-bindlib

Efficient binder representation in OCaml

pml

New version of the PML language and (classical) proof assistant

ocaml-earley

Parsing library based on Earley Algorithm

bare-metal-aarch64

Fiddling with aarch64 exception levels on a Raspberry Pi 3.

cwg

Crossword generator, text, LaTeX and HTML backend

ocaml-timed

Timed references for imperative state

ocaml-earley-ocaml

Extensible OCaml parser to be used with Earley

fmodulo

System F modulo

tin171