Pinned Loading

1. langtool-ignore-fonts langtool-ignore-fonts Public

   Force Emacs Langtool to ignore certain fonts. For example, this can be used to prevent langtool from highlighting LaTeX in math-mode.

   Emacs Lisp 12 1

2. evil-pdf-tools evil-pdf-tools Public

   Improves the compatibility of the pdf-tools package with the evil-mode package. In particular, this package adds the basic vi style movement key bindings and adds vim style searching of pdfs.

   Emacs Lisp 4 2

3. morava_k_theory_of_grassmanians morava_k_theory_of_grassmanians Public

   Calculate 2-local Morava K-Theory of Grassmannians

   Sage

4. Python-Subleq Python-Subleq Public

   Subleq Interpreter written in Python 3.3

   Python 2 1

5. chris-lloyd-emacs-config chris-lloyd-emacs-config Public

   Emacs Lisp 2

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 2