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
easy-escape
Improve readability of escape characters in ELisp regular expressions
esh
Use Emacs to highlight source code listings in LaTeX and HTML documents!
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/z3.wasm
WASM builds of the Z3 SMT solver
cpitclaudel/quick-peek
Quick-peek inline-window library for Emacs
cpitclaudel/fstar.js
F* running in the browser
cpitclaudel/cvc4.js
asm.js and WebAssembly ports of the CVC4 SMT solver
cpitclaudel/FStar
An ML-like language aimed at program verification
cpitclaudel/cantata
Qt5 Graphical MPD Client
cpitclaudel/cask
Project management tool for Emacs
cpitclaudel/coq-scripts
Various useful scripts for dealing with Coq files
cpitclaudel/coveragepy
Code coverage measurement for Python
cpitclaudel/csslint
Automated linting of Cascading Stylesheets
cpitclaudel/docutils-css
A stylesheet for HTML pages created with docutils
cpitclaudel/Flex
The minimalist Pelican theme.
cpitclaudel/fontforge
Free (libre) font editor for Windows, Mac OS X and GNU+Linux
cpitclaudel/frap
Formal Reasoning About Programs
cpitclaudel/js_of_ocaml
Compiler from OCaml to Javascript.
cpitclaudel/latte20
Languages, Tools, and Techniques for Accelerator Design
cpitclaudel/magit
It's Magit! A Git porcelain inside Emacs.
cpitclaudel/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
cpitclaudel/mirage-www
Website infrastructure and content for mirage.io
cpitclaudel/mkocaml
🔨 Tool to generate OCaml projects
cpitclaudel/MPD
Music Player Daemon
cpitclaudel/no-littering
Help keeping ~/.emacs.d clean
cpitclaudel/pint
Operate and manipulate physical quantities in Python
cpitclaudel/pylint
A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells
cpitclaudel/pyverilator
Python wrapper for verilator model
cpitclaudel/s.el
The long lost Emacs string manipulation library.
cpitclaudel/sphinx
Main repository for the Sphinx documentation builder
cpitclaudel/verilator
cpitclaudel/ympd
Standalone MPD Web GUI written in C, utilizing Websockets and Bootstrap/JS
cpitclaudel/z3
The Z3 Theorem Prover