Beast code in Giters

Clément Pit-Claudel's repositories

monospacifier

Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)

Language:PythonGPL-3.0362 10 26

company-coq

A Coq IDE build on top of Proof General's Coq mode

Language:Emacs LispGPL-3.0347 11 239

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLMIT219 10 74

biblio.el

Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

Language:Emacs LispGPL-3.0175 12 49

academic-poster-template

An HTML+CSS template for making more accessible posters

Language:Less76 4 5

easy-escape

Improve readability of escape characters in ELisp regular expressions

Language:Emacs LispGPL-3.047 5 5

esh

Use Emacs to highlight source code listings in LaTeX and HTML documents!

Language:Emacs Lisp16 4 2

compact-docstrings

Shrink blank lines in docstrings and doc comments

Language:Emacs Lisp6 5 5

presenter-mode

Who needs PowerPoint?

Language:Emacs Lisp2 30

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.11 30

alectryon-sle2020-talk

Slides for the SLE2020 talk on alectryon; also a decent demo of integrating Alectryon with slides instead of regular webpages

Language:JavaScript03 2

bibstuff

Classes and command-line utilities for interacting with BibTeX style databases

Language:PythonNOASSERTION020

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonNOASSERTION010