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 4 months ago
- Code auditing mode for Emacs☆35Updated 6 years ago
- ☆32Updated 10 years ago
- Lists of Unicode mathematical symbols and latex commands☆36Updated 3 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Updated 8 years ago
- Visualize how font-lock refontifies a buffer☆22Updated last year
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Updated 2 months ago
- Doctests for Emacs Lisp☆25Updated last year
- Extract information from Emacs Lisp libraries☆28Updated 3 weeks ago
- Emacs bindings for hlint's --refactor option☆27Updated 7 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆125Updated 4 years ago
- Emacs configuration☆23Updated 5 years ago
- Pollen inspired lozenge syntax for Emacs☆32Updated 6 years ago
- Coverage and timing tool for font-lock keywords☆18Updated last year
- Statistics visualizer for org-mode☆98Updated last year
- Lazy sequence library for Emacs.☆33Updated 9 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆13Updated 4 years ago
- Tools for interacting with Boogie☆54Updated 10 months ago
- Completion back-ends for for math unicode symbols and latex tags☆128Updated 3 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Updated last year
- TLA+ tools for Emacs☆35Updated last year
- tla-mode for emacs☆23Updated 4 years ago
- Compute pop-up menus from text and overlay properties☆11Updated 10 years ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated last month
- Tail call optimisation in Emacs lisp☆79Updated 6 years ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- haskell-indentation 2nd try☆33Updated 11 years ago
- shadchen is an emacs lisp pattern matching library☆51Updated 11 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago