Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Type-safe library for building parallel applications, built on top of Async's Rpc module.
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching