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 this week
- Code auditing mode for Emacs☆36Updated 6 years ago
- ☆32Updated 9 years ago
- Doctests for Emacs Lisp☆25Updated last year
- Compute pop-up menus from text and overlay properties☆11Updated 10 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆20Updated last year
- Lists of Unicode mathematical symbols and latex commands☆35Updated 3 years ago
- Lazy sequence library for Emacs.☆32Updated 9 years ago
- Tools for interacting with Boogie☆47Updated 6 months ago
- Extract information from Emacs Lisp libraries☆28Updated 3 weeks ago
- Visualize how font-lock refontifies a buffer☆22Updated 8 months ago
- Coverage and timing tool for font-lock keywords☆18Updated 8 months ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Updated 8 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Pollen inspired lozenge syntax for Emacs☆30Updated 6 years ago
- TLA+ tools for Emacs☆33Updated 9 months ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Updated last month
- Support for Twitch emotes on ERC☆12Updated 8 years ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated 3 months ago
- Program with Personal Notation☆36Updated 6 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 7 years ago
- Emacs configuration☆23Updated 5 years ago
- shadchen is an emacs lisp pattern matching library☆49Updated 10 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆18Updated 8 years ago
- Babel for Pandoc☆23Updated 10 years ago
- An Emacs Gitter client☆28Updated 3 years ago
- haskell-indentation 2nd try☆33Updated 10 years ago
- An Emacs major mode for editing in pollen markup language☆44Updated 3 years ago
- tla-mode for emacs☆23Updated 4 years ago