Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Repository Index
73,362 visible repositories in the index
1–4 of 4 · Most stars
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning