mrc / tla-toolsLinks
TLA+ tools for Emacs
☆33Updated 9 months ago
Alternatives and similar repositories for tla-tools
Users that are interested in tla-tools are comparing it to the libraries listed below
Sorting:
- Parser for Emacs org-mode files☆35Updated 3 weeks ago
- tla-mode for emacs☆23Updated 4 years ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated this week
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Tools for interacting with Boogie☆47Updated 6 months ago
- An Emacs major mode for editing in pollen markup language☆44Updated 3 years ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated 3 months ago
- Quickcheck/hypothesis style testing for elisp☆59Updated 4 months ago
- ☆46Updated 8 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆125Updated 4 years ago
- Functors, Monads, Categories for Emacs☆58Updated 2 years ago
- Use Emacs to highlight source code listings in LaTeX and HTML documents!☆18Updated 2 years ago
- Lazy sequence library for Emacs.☆32Updated 9 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 8 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 9 months ago
- My Emacs config☆126Updated last week
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆60Updated 3 weeks ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- A minimal emacs configuration for haskell programming☆31Updated 3 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last week
- A company backend for haskell☆23Updated 6 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆15Updated 5 years ago
- Company-mode completion back-end for haskell-mode via ghc-mod☆125Updated 7 years ago
- Code auditing mode for Emacs☆36Updated 6 years ago
- Doctests for Emacs Lisp☆25Updated last year