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 last month
- Code auditing mode for Emacs☆35Updated 6 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Lists of Unicode mathematical symbols and latex commands☆35Updated 3 years ago
- ☆32Updated 9 years ago
- Coverage and timing tool for font-lock keywords☆17Updated 9 months ago
- Doctests for Emacs Lisp☆25Updated last year
- Pollen inspired lozenge syntax for Emacs☆30Updated 6 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- shadchen is an emacs lisp pattern matching library☆51Updated 11 years ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- Emacs configuration☆23Updated 5 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Updated last year
- Lazy sequence library for Emacs.☆33Updated 9 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆125Updated 4 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Updated 2 months ago
- Tools for interacting with Boogie☆49Updated 7 months ago
- Company-mode completion back-end for haskell-cabal-mode☆14Updated 8 years ago
- Visualize how font-lock refontifies a buffer☆22Updated 9 months ago
- Extract information from Emacs Lisp libraries☆28Updated 2 months ago
- Compute pop-up menus from text and overlay properties☆11Updated 10 years ago
- Javascript compiler for EmacsLisp☆58Updated 11 years ago
- Statistics visualizer for org-mode☆98Updated last year
- Support for Twitch emotes on ERC☆12Updated 8 years ago
- TLA+ tools for Emacs☆34Updated 10 months ago
- A minimal emacs configuration for haskell programming☆31Updated 3 years ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated 4 months ago
- Company-mode completion back-end for haskell-mode via ghc-mod☆125Updated 7 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 7 years ago