Rocqnavi
GPL-2.0OCamlrocqnavi.0.6.0
An HTML documentation generator for Rocq source files with proof folding, cross-referencing, and Markdown support.
4 stars5 forks0 contributors
Overview
An HTML documentation generator for Rocq source files
Related Projects
SailSail architecture definition language
Stars951
Forks168
Last commit1 day ago
CosetteCosette is an automated SQL solver.
Stars687
Forks57
Last commit1 year ago
OttThe Ott tool for writing definitions of programming languages and calculi
Stars422
Forks56
Last commit20 days ago
AlectryonA collection of tools for writing technical documents that mix Rocq code and prose.
Stars325
Forks45
Last commit4 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.