Pinned Repositories
academic-poster-template
An HTML+CSS template for making more accessible posters
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
company-coq
A Coq IDE build on top of Proof General's Coq mode
dBoost
easy-escape
Improve readability of escape characters in ELisp regular expressions
fstar.js
F* running in the browser
monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
quick-peek
Quick-peek inline-window library for Emacs
z3.wasm
WASM builds of the Z3 SMT solver
cpitclaudel's Repositories
cpitclaudel/monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
cpitclaudel/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
cpitclaudel/biblio.el
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
cpitclaudel/academic-poster-template
An HTML+CSS template for making more accessible posters
cpitclaudel/easy-escape
Improve readability of escape characters in ELisp regular expressions
cpitclaudel/esh
Use Emacs to highlight source code listings in LaTeX and HTML documents!
cpitclaudel/compact-docstrings
Shrink blank lines in docstrings and doc comments
cpitclaudel/presenter-mode
Who needs PowerPoint?
cpitclaudel/coq
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.
cpitclaudel/alectryon-sle2020-talk
Slides for the SLE2020 talk on alectryon; also a decent demo of integrating Alectryon with slides instead of regular webpages
cpitclaudel/bibstuff
Classes and command-line utilities for interacting with BibTeX style databases
cpitclaudel/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.
cpitclaudel/dafny
Dafny is a verification-aware programming language
cpitclaudel/dune
A composable build system for OCaml.
cpitclaudel/gdsCAD
A simple but powerful Python package for creating photolithography masks in the GDSII format.
cpitclaudel/git-secrets
Prevents you from committing secrets and credentials into git repositories
cpitclaudel/gtg
Getting Things GNOME! trunk
cpitclaudel/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
cpitclaudel/ide-vscode
VSCode IDE Integration for Dafny
cpitclaudel/indirect-font-lock
Highlight code snippets embedded in strings or comments
cpitclaudel/litpy
Literate Python editing in Emacs: reStructuredText markup, snippets highlighting, and doctests quick-peek
cpitclaudel/melpa
Scripts for building Emacs packages from Version Control
cpitclaudel/MyST-Parser
An extended commonmark compliant parser, with bridges to docutils/sphinx
cpitclaudel/pelican
Static site generator that supports Markdown and reST syntax. Powered by Python.
cpitclaudel/pplatex
Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
cpitclaudel/pwm
Probably-insecure password manager
cpitclaudel/pybtex-docutils
A docutils backend for pybtex.
cpitclaudel/pygments
Pygments is a generic syntax highlighter written in Python
cpitclaudel/writeroom-mode
Writeroom-mode: distraction-free writing for Emacs.