alectryon
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
A collection of tools for writing technical documents that mix Coq code and prose.
237 stars
11 watching
34 forks
Language: HTML
last commit: 11 months ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
| cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 351 |
 ctornau/latex | Automates LaTeX document processing with Docker-based CI/CD pipelines | 1 |
 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 |
 mithrandie/csvq | A command-line tool to operate CSV files with SQL-like query support | 1,526 |
 techascent/tech.ml.dataset | A Clojure library for efficient tabular data processing and analysis | 687 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
 pedrotst/coquedille | Translates Coq terms into Cedille terms for a specific domain-specific language | 33 |
| xavierleroy/coq2html | Generates HTML documentation from Coq source files by folding proof scripts and producing auxiliary CSS and JavaScript files | 30 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
| xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 388 |
 ryanleary/ctcdecode | A PyTorch implementation of the Connectionist Temporal Classification (CTC) decoding algorithm for speech recognition and text analysis tasks. | 42 |
 tshatrov/ichiran | A collection of tools for working with text in Japanese language | 312 |
 senselogic/pendown | A text-to-HTML conversion tool with integrated styling and tag customization | 49 |