mrc / tla-tools
TLA+ tools for Emacs
☆29Updated 3 months ago
Related projects: ⓘ
- ☆44Updated last year
- Parser for Emacs org-mode files☆31Updated 7 months ago
- Lazy sequence library for Emacs.☆31Updated 8 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Code auditing mode for Emacs☆35Updated 5 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆21Updated 4 months ago
- ATtempt To Repair At Point (emacs flycheck extension)☆43Updated 4 months ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆55Updated 4 months ago
- tla-mode for emacs☆21Updated 3 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆57Updated 4 years ago
- A company backend for haskell☆22Updated 5 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆90Updated 6 months ago
- An Emacs major mode for editing in pollen markup language☆42Updated 2 years ago
- ☆45Updated 2 months ago
- A formatter for Haskell source code☆36Updated 2 years ago
- Improved Haskell support for Flycheck☆67Updated last year
- Emacs major mode for Alloy☆13Updated 6 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- A minimal emacs configuration for haskell programming☆31Updated 2 years ago
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 8 months ago
- Functors, Monads, Categories for Emacs☆55Updated last year
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆121Updated 3 years ago
- Program with Personal Notation☆35Updated 5 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Interface to the Stack Haskell development tool☆27Updated 4 years ago
- Doctests for Emacs Lisp☆24Updated 7 months ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 2 years ago
- My Emacs config☆122Updated last week