cpitclaudel/easy-escape

Improve readability of escape characters in ELisp regular expressions

Language: Emacs Lisp - Size: 91.8 KB - Last synced: 5 days ago - Pushed: over 2 years ago - Stars: 47 - Forks: 2

cpitclaudel/monospacifier

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

Language: Python - Size: 44.5 MB - Last synced: 3 days ago - Pushed: 3 months ago - Stars: 361 - Forks: 31

cpitclaudel/company-coq

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

Language: Emacs Lisp - Size: 22.8 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 348 - Forks: 30

cpitclaudel/biblio.el

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

Language: Emacs Lisp - Size: 815 KB - Last synced: 4 days ago - Pushed: 7 months ago - Stars: 175 - Forks: 14

cpitclaudel/z3.wasm

WASM builds of the Z3 SMT solver

Language: Shell - Size: 28.3 KB - Last synced: 4 days ago - Pushed: about 4 years ago - Stars: 139 - Forks: 8

cpitclaudel/academic-poster-template

An HTML+CSS template for making more accessible posters

Language: Less - Size: 560 KB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 76 - Forks: 26

cpitclaudel/alectryon

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

Language: HTML - Size: 1.91 MB - Last synced: 4 days ago - Pushed: about 2 months ago - Stars: 217 - Forks: 34

cpitclaudel/quick-peek

Quick-peek inline-window library for Emacs

Language: Emacs Lisp - Size: 24.4 KB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 81 - Forks: 13

cpitclaudel/compact-docstrings

Shrink blank lines in docstrings and doc comments

Language: Emacs Lisp - Size: 31.3 KB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 6 - Forks: 3

cpitclaudel/pelican Fork of getpelican/pelican

Static site generator that supports Markdown and reST syntax. Powered by Python.

Size: 6.6 MB - Last synced: 4 days ago - Pushed: 24 days ago - Stars: 0 - Forks: 0

cpitclaudel/presenter-mode

Who needs PowerPoint?

Language: Emacs Lisp - Size: 7.81 KB - Last synced: 4 days ago - Pushed: 2 months ago - Stars: 2 - Forks: 1

cpitclaudel/gtg Fork of getting-things-gnome/gtg

Getting Things GNOME! trunk

Language: Python - Size: 19.2 MB - Last synced: 4 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

cpitclaudel/dBoost

Language: TeX - Size: 11.2 MB - Last synced: 4 days ago - Pushed: over 8 years ago - Stars: 16 - Forks: 14

cpitclaudel/gdsCAD Fork of hohlraum/gdsCAD

A simple but powerful Python package for creating photolithography masks in the GDSII format.

Size: 1.09 MB - Last synced: 4 days ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

cpitclaudel/fstar.js

F* running in the browser

Language: HTML - Size: 265 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 21 - Forks: 2

cpitclaudel/synquid-emacs

Edit Synquid files in Emacs!

Language: Emacs Lisp - Size: 11.7 KB - Last synced: 4 days ago - Pushed: over 7 years ago - Stars: 3 - Forks: 2

cpitclaudel/esh

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

Language: Emacs Lisp - Size: 2.5 MB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 16 - Forks: 2

cpitclaudel/MyST-Parser Fork of executablebooks/MyST-Parser

An extended commonmark compliant parser, with bridges to docutils/sphinx

Language: Python - Size: 1.32 MB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/dafny Fork of dafny-lang/dafny

Dafny is a verification-aware programming language

Language: C# - Size: 188 MB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/pwm

Probably-insecure password manager

Language: Python - Size: 20.5 KB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/git-secrets Fork of awslabs/git-secrets

Prevents you from committing secrets and credentials into git repositories

Size: 119 KB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/alectryon-sle2020-talk

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

Language: JavaScript - Size: 5.15 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

cpitclaudel/coq-rst

An experiment in porting Coq's manual to reStructuredText

Language: Python - Size: 451 KB - Last synced: 4 days ago - Pushed: almost 8 years ago - Stars: 3 - Forks: 1

cpitclaudel/indirect-font-lock

Highlight code snippets embedded in strings or comments

Language: Emacs Lisp - Size: 25.4 KB - Last synced: 4 days ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

cpitclaudel/litpy

Literate Python editing in Emacs: reStructuredText markup, snippets highlighting, and doctests quick-peek

Language: Emacs Lisp - Size: 9.77 KB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/ide-vscode Fork of dafny-lang/ide-vscode

VSCode IDE Integration for Dafny

Size: 6.27 MB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/pygments Fork of pygments/pygments

Pygments is a generic syntax highlighter written in Python

Size: 22.6 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/writeroom-mode Fork of joostkremers/writeroom-mode

Writeroom-mode: distraction-free writing for Emacs.

Size: 821 KB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/hydra-battles Fork of coq-community/hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Language: Coq - Size: 7.8 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/pybtex-docutils Fork of mcmtroffaes/pybtex-docutils

A docutils backend for pybtex.

Size: 80.1 KB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/melpa Fork of melpa/melpa

Scripts for building Emacs packages from Version Control

Language: Emacs Lisp - Size: 17.7 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/coveragepy Fork of nedbat/coveragepy

Code coverage measurement for Python

Size: 14.8 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/elcoq

Experiments with SerAPI in Emacs

Language: Emacs Lisp - Size: 50.8 KB - Last synced: 4 days ago - Pushed: almost 8 years ago - Stars: 6 - Forks: 1

cpitclaudel/pplatex Fork of stefanhepp/pplatex

Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages

Size: 88.9 KB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

cpitclaudel/CVC4 Fork of cvc5/cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language: SMT - Size: 36 MB - Last synced: 4 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

cpitclaudel/frap Fork of achlipala/frap

Formal Reasoning About Programs

Size: 3.07 MB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/Flex Fork of alexandrevicenzi/Flex

The minimalist Pelican theme.

Language: CSS - Size: 6.3 MB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/no-littering Fork of emacscollective/no-littering

Help keeping ~/.emacs.d clean

Size: 183 KB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/latte20 Fork of cucapra/latte21

Languages, Tools, and Techniques for Accelerator Design

Size: 34.2 KB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/verilator

Language: C++ - Size: 8.75 MB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/bibstuff Fork of dschwilk/bibstuff

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

Language: Python - Size: 1.47 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

cpitclaudel/csslint Fork of CSSLint/csslint

Automated linting of Cascading Stylesheets

Size: 4.55 MB - Last synced: 4 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/s.el Fork of magnars/s.el

The long lost Emacs string manipulation library.

Size: 252 KB - Last synced: 4 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/pylint Fork of pylint-dev/pylint

A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells

Language: Python - Size: 23.9 MB - Last synced: 4 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/pyverilator Fork of csail-csg/pyverilator

Python wrapper for verilator model

Size: 120 KB - Last synced: 4 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/dune Fork of ocaml/dune

A composable build system for OCaml.

Size: 18.7 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

cpitclaudel/mkocaml Fork of chrisnevers/mkocaml

🔨 Tool to generate OCaml projects

Size: 22.5 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/docutils-css Fork of matthiaseisen/docutils-css

A stylesheet for HTML pages created with docutils

Size: 7.81 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/cvc4.js

asm.js and WebAssembly ports of the CVC4 SMT solver

Language: JavaScript - Size: 13.7 KB - Last synced: 4 days ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 0

cpitclaudel/magit Fork of magit/magit

It's Magit! A Git porcelain inside Emacs.

Size: 23.2 MB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/js_of_ocaml Fork of ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

Language: OCaml - Size: 130 MB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

cpitclaudel/sphinx Fork of sphinx-doc/sphinx

Main repository for the Sphinx documentation builder

Language: Python - Size: 34.5 MB - Last synced: 4 days ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/pint Fork of hgrecco/pint

Operate and manipulate physical quantities in Python

Language: Python - Size: 1.66 MB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/ympd Fork of notandy/ympd

Standalone MPD Web GUI written in C, utilizing Websockets and Bootstrap/JS

Language: C - Size: 729 KB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/cantata Fork of CDrummond/cantata

Qt5 Graphical MPD Client

Language: C++ - Size: 28.5 MB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/fontforge Fork of fontforge/fontforge

Free (libre) font editor for Windows, Mac OS X and GNU+Linux

Language: C - Size: 79.3 MB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/MPD Fork of MusicPlayerDaemon/MPD

Music Player Daemon

Language: C++ - Size: 43.2 MB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/coq-scripts Fork of JasonGross/coq-scripts

Various useful scripts for dealing with Coq files

Language: Coq - Size: 111 KB - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

cpitclaudel/mirage-www Fork of mirage/mirage-www

Website infrastructure and content for mirage.io

Language: OCaml - Size: 7.96 MB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/company-tooltip-frontend

Language: Emacs Lisp - Size: 14.6 KB - Last synced: 4 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

cpitclaudel/z3 Fork of Z3Prover/z3

The Z3 Theorem Prover

Language: C++ - Size: 25.2 MB - Last synced: 4 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

cpitclaudel/FStar Fork of FStarLang/FStar

An ML-like language aimed at program verification

Language: OCaml - Size: 171 MB - Last synced: 4 days ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

cpitclaudel/DataStructures.jl Fork of JuliaCollections/DataStructures.jl

Julia implementation of Data structures

Language: Julia - Size: 322 KB - Last synced: 4 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

cpitclaudel/coq Fork of coq/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.

Language: OCaml - Size: 124 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

cpitclaudel/cask Fork of cask/cask

Project management tool for Emacs

Language: Emacs Lisp - Size: 1.07 MB - Last synced: 4 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

cpitclaudel/pg-vst

VST-specific extensions for Proof General

Language: Emacs Lisp - Size: 545 KB - Last synced: 4 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

cpitclaudel/mirage-tcpip Fork of mirage/mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.

Language: OCaml - Size: 25.6 MB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

cpitclaudel/coq-serapi Fork of ejgallego/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Language: OCaml - Size: 104 KB - Last synced: 4 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

cpitclaudel/dafny-boogie-z3-in-a-vm

Easily set-up a Dafny, Boogie, and Z3 in a VM (using Vagrant)

Language: Shell - Size: 25.4 KB - Last synced: 4 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

cpitclaudel/CoqPL16

CoqPL 2016 workshop paper and talk about company-coq

Language: TeX - Size: 0 Bytes - Last synced: 4 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

cpitclaudel/company-mode Fork of company-mode/company-mode

Modular in-buffer completion framework for Emacs

Language: Emacs Lisp - Size: 2.35 MB - Last synced: 4 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

cpitclaudel/bup Fork of williamstein/bup

bup -- git-based backups

Size: 2.19 MB - Last synced: 4 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0