cpitclaudel/dBoost cpitclaudel/dBoost

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    TeX
  • License
    GNU General Publi...
  • Created about 10 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cpitclaudel/dBoost
github

cpitclaudel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

monospacifier

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

company-coq

A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp
340
star
3

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
HTML
230
star
4

biblio.el

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

z3.wasm

WASM builds of the Z3 SMT solver
Shell
136
star
6

quick-peek

Quick-peek inline-window library for Emacs
Emacs Lisp
79
star
7

academic-poster-template

An HTML+CSS template for making more accessible posters
Less
70
star
8

easy-escape

Improve readability of escape characters in ELisp regular expressions
Emacs Lisp
45
star
9

fstar.js

F* running in the browser
HTML
21
star
10

esh

Use Emacs to highlight source code listings in LaTeX and HTML documents!
Emacs Lisp
16
star
11

elcoq

Experiments with SerAPI in Emacs
Emacs Lisp
6
star
12

compact-docstrings

Shrink blank lines in docstrings and doc comments
Emacs Lisp
6
star
13

cvc4.js

asm.js and WebAssembly ports of the CVC4 SMT solver
JavaScript
4
star
14

coq-rst

An experiment in porting Coq's manual to reStructuredText
Python
3
star
15

synquid-emacs

Edit Synquid files in Emacs!
Emacs Lisp
3
star
16

presenter-mode

Who needs PowerPoint?
Emacs Lisp
2
star