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: 6 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,135 |
 smorimoto/coq-to-ocaml-to-js | Generates safe and fast JavaScript code from mathematical proofs using Coq, OCaml, BuckleScript, Rollup, Terser, and Closure Compiler | 24 |
 lawmurray/doxide | Generates documentation for C++ code | 65 |
 naturaldocs/naturaldocs | Automatically generates high-quality HTML documentation from code written in multiple programming languages. | 203 |
| 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,120 |
| 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 | 667 |
 cpitclaudel/alectryon | A tool for processing Coq and Lean 4 code embedded in text documents | 237 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 153 |
 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 | An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant | 349 |
 mmontone/qbook | A tool for generating HTML and LaTeX formatted documentation from Common Lisp source files. | 7 |