Clément Pit-Claudel
Results
11
repositories owned by
Clément Pit-Claudel
academic-poster-template
76
Stars
26
Forks
Watchers
An HTML+CSS template for making more accessible posters
alectryon
211
Stars
34
Forks
Watchers
A collection of tools for writing technical documents that mix Coq code and prose.
biblio.el
174
Stars
14
Forks
Watchers
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
company-coq
348
Stars
30
Forks
Watchers
A Coq IDE build on top of Proof General's Coq mode
easy-escape
46
Stars
2
Forks
Watchers
Improve readability of escape characters in ELisp regular expressions
esh
16
Stars
2
Forks
Watchers
Use Emacs to highlight source code listings in LaTeX and HTML documents!
monospacifier
350
Stars
32
Forks
Watchers
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)