Functional HTML scraping and rewriting with CSS in OCaml
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
47,133 repositories indexed
1–4 of 4 · Most stars
Functional HTML scraping and rewriting with CSS in OCaml
Code coverage for OCaml and ReScript
Error-recovering streaming HTML5 and XML parsers
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]