alectryon
by cpitclaudel
A collection of tools for writing technical documents that mix Coq code and prose.
AI summary
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
- stars
- 237
- forks
- 34
- watching
- 11
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Document processor
Automates LaTeX document processing with Docker-based CI/CD pipelines
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
mithrandie/csvq1.5K
CSV processor
A command-line tool to operate CSV files with SQL-like query support
Data processor
A Clojure library for efficient tabular data processing and analysis
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Compiler
Translates Coq terms into Cedille terms for a specific domain-specific language
Documentation generator
Generates HTML documentation from Coq source files by folding proof scripts and producing auxiliary CSS and JavaScript files
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
CTC decoder
A PyTorch implementation of the Connectionist Temporal Classification (CTC) decoding algorithm for speech recognition and text analysis tasks.
Japanese text processor
A collection of tools for working with text in Japanese language
Text processor
A text-to-HTML conversion tool with integrated styling and tag customization
Featured in 1 awesome list
Each link jumps to the spot where the list mentions alectryon.
