mrc / tla-toolsLinks
TLA+ tools for Emacs
☆33Updated 8 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:
- tla-mode for emacs☆23Updated 4 years ago
- Lazy sequence library for Emacs.☆32Updated 9 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
- Quickcheck/hypothesis style testing for elisp☆59Updated 3 months ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- ATtempt To Repair At Point (emacs flycheck extension)☆44Updated 2 months ago
- An Emacs major mode for editing in pollen markup language☆44Updated 2 years ago
- Doctests for Emacs Lisp☆25Updated last year
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 8 months ago
- Parser for Emacs org-mode files☆35Updated this week
- An Emacs major mode for WebAssembly's text format☆45Updated 3 years ago
- Quick-peek inline-window library for Emacs☆90Updated 4 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- macros by example in elisp☆32Updated 9 years ago
- Emacs configuration☆23Updated 5 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- My Emacs config☆126Updated last month
- Packages that are inappropriate for upstream Guix☆49Updated 3 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Use Emacs to highlight source code listings in LaTeX and HTML documents!☆18Updated 2 years ago
- A GNU Emacs major mode for editing BNF grammars☆45Updated 11 months ago
- shadchen is an emacs lisp pattern matching library☆49Updated 10 years ago
- Code auditing mode for Emacs☆36Updated 6 years ago
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆15Updated 5 years ago
- Statistics visualizer for org-mode☆98Updated last year
- Convert source-code buffers temporarily to Org-mode for comment editing☆55Updated 4 years ago
- Emacs major mode for editing J code.☆49Updated 11 months ago
- Javascript compiler for EmacsLisp☆58Updated 10 years ago