rlepigre/subml rlepigre/subml

  • Stars
    star
    23
  • Rank 1,013,780 (Top 21 %)
  • Language
    OCaml
  • Created about 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rlepigre/subml
github

rlepigre

Reviews

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

Repository Details

SubML (prototype) language

More 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

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