cpitclaudel / eshLinks
Use Emacs to highlight source code listings in LaTeX and HTML documents!
☆18Updated 2 years ago
Alternatives and similar repositories for esh
Users that are interested in esh are comparing it to the libraries listed below
Sorting:
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated 2 months ago
- Code auditing mode for Emacs☆35Updated 6 years ago
- ☆32Updated 10 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- Lists of Unicode mathematical symbols and latex commands☆35Updated 3 years ago
- Pollen inspired lozenge syntax for Emacs☆32Updated 6 years ago
- Lazy sequence library for Emacs.☆33Updated 9 years ago
- Extract information from Emacs Lisp libraries☆28Updated 2 weeks ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated this week
- Emacs configuration☆23Updated 5 years ago
- shadchen is an emacs lisp pattern matching library☆51Updated 11 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Updated last year
- Tools for interacting with Boogie☆51Updated 9 months ago
- Visualize how font-lock refontifies a buffer☆22Updated 11 months ago
- Doctests for Emacs Lisp☆25Updated last year
- Company-mode completion back-end for haskell-cabal-mode☆14Updated 8 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Updated 2 weeks ago
- Compute pop-up menus from text and overlay properties☆11Updated 10 years ago
- Coverage and timing tool for font-lock keywords☆17Updated 11 months ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆126Updated 4 years ago
- Program with Personal Notation☆36Updated 6 years ago
- An Emacs Gitter client☆28Updated 3 years ago
- TLA+ tools for Emacs☆35Updated last year
- Completion back-ends for for math unicode symbols and latex tags☆127Updated 2 years ago
- tla-mode for emacs☆23Updated 4 years ago
- Tail call optimisation in Emacs lisp☆78Updated 6 years ago
- Haskell completion source for Emacs auto-complete package☆16Updated last year
- hasklig-mode.el - Hasklig ligatures for emacs☆41Updated 11 months ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- Highlight bound variables and quoted expressions in lisp☆60Updated 2 years ago