Augusto Stoffel astoff

Pinned Loading

1. A language server for TeX and friends

   Lua 300 9

2. Commutative diagrams with TikZ

   TeX 55 3

3. Emacs viewer for DevDocs

   Emacs Lisp 388 21

4. REPL protocol for the dumb terminal

   Emacs Lisp 32 5

5. Just-in-time spell checking for Emacs

   Emacs Lisp 54 2

6. Emacs utilities for code split into cells, including Jupyter notebooks

   Emacs Lisp 238 15