coq2html
Documentation generator
Generates HTML documentation from Coq source files by folding proof scripts and producing auxiliary CSS and JavaScript files
An HTML documentation generator for Coq source files
30 stars
4 watching
11 forks
Language: OCaml
last commit: 3 months ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 raml2html/raml2html | Generates HTML documentation from RAML files using JavaScript and Nunjucks templates. | 1,134 |
 smorimoto/coq-to-ocaml-to-js | Generates safe and fast JavaScript code from mathematical proofs using Coq, OCaml, BuckleScript, Rollup, Terser, and Closure Compiler | 25 |
 lawmurray/doxide | Generates documentation for C++ code | 55 |
 naturaldocs/naturaldocs | Automatically generates high-quality HTML documentation from code written in multiple programming languages. | 199 |
| xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 anvilco/spectaql | Automates generation of static GraphQL API documentation from schema definitions | 1,111 |
| xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
 weavejester/codox | Generates API documentation from source code in a specific programming language | 668 |
 cpitclaudel/alectryon | Tools for processing Coq code and prose in technical documents | 236 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 mattmcmanus/dox-foundation | Automates HTML documentation generation for software projects using dox and templates from Foundation. | 83 |
 codex-project/codex2 | A documentation platform built on top of Laravel, enabling easy and customizable documentation generation with features like markdown parsing and storage integration. | 20 |
 davesnx/html_of_jsx | A library that enables declarative HTML writing in OCaml and other languages | 34 |
 coq/vscoq | A Visual Studio Code extension for Coq proof assistant support | 343 |
 mmontone/qbook | A tool for generating HTML and LaTeX formatted documentation from Common Lisp source files. | 7 |