Discover @cpitclaudel Open Source projects

Clément Pit-Claudel (@cpitclaudel)

cpitclaudel

Stars
1,473
Global Rank 20,323 (Top 0.8 %)
Followers 295
Registered almost 10 years ago
Most used languages

Emacs Lisp
52.9 %

HTML
11.8 %

Python
11.8 %

JavaScript
5.9 %

Shell
5.9 %

TeX
5.9 %

Less 5.9 %
Location 🇨🇭 Switzerland
Country Total Rank 269
Country Ranking

Less 2

Emacs Lisp
5

HTML
36

Shell
61

TeX
90

Python
173

JavaScript
1,958

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 mode

alectryon

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 Emacs

z3.wasm

WASM builds of the Z3 SMT solver

quick-peek

Quick-peek inline-window library for Emacs

academic-poster-template

An HTML+CSS template for making more accessible posters

easy-escape

Improve readability of escape characters in ELisp regular expressions

fstar.js

F* running in the browser

esh

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

dBoost

elcoq

Experiments with SerAPI in Emacs

compact-docstrings

Shrink blank lines in docstrings and doc comments

cvc4.js

asm.js and WebAssembly ports of the CVC4 SMT solver

coq-rst

An experiment in porting Coq's manual to reStructuredText

synquid-emacs

Edit Synquid files in Emacs!

presenter-mode

Who needs PowerPoint?