A modern supercompiler for call-by-value functional languages
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
The Ott tool for writing definitions of programming languages and calculi
OCaml bindings to the SQLite3 database
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching