The Ott tool for writing definitions of programming languages and calculi
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Functional HTML scraping and rewriting with CSS in OCaml
OCaml library for reading, writing and modifying PDF files
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action