There are no reviews yet. Be the first to send feedback to the community and the maintainers!
monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)company-coq
A Coq IDE build on top of Proof General's Coq modealectryon
A collection of tools for writing technical documents that mix Coq code and prose.biblio.el
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacsz3.wasm
WASM builds of the Z3 SMT solverquick-peek
Quick-peek inline-window library for Emacsacademic-poster-template
An HTML+CSS template for making more accessible posterseasy-escape
Improve readability of escape characters in ELisp regular expressionsfstar.js
F* running in the browseresh
Use Emacs to highlight source code listings in LaTeX and HTML documents!dBoost
elcoq
Experiments with SerAPI in Emacscompact-docstrings
Shrink blank lines in docstrings and doc commentscvc4.js
asm.js and WebAssembly ports of the CVC4 SMT solversynquid-emacs
Edit Synquid files in Emacs!presenter-mode
Who needs PowerPoint?Love Open Source and this site? Check out how you can help us