Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
Syntax extension for embedded SQL queries using PG'OCaml.