Functional HTML scraping and rewriting with CSS in OCaml
Repository Index
69,734 visible repositories in the index
1–4 of 4 · Most stars
Terminal manipulation library for OCaml
- ocaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog