Functional HTML scraping and rewriting with CSS in OCaml
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Terminal manipulation library for OCaml
- ocaml
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
47,133 repositories indexed
1–3 of 3 · Most stars
Functional HTML scraping and rewriting with CSS in OCaml
Terminal manipulation library for OCaml
Rocq plugin embedding Elpi