TLA+ tools for Emacs
☆36Dec 14, 2024Updated last year
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☆23Apr 27, 2021Updated 4 years ago
- Build tool for ATS.☆42Apr 11, 2022Updated 3 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- ☆13Nov 27, 2025Updated 3 months ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Haskell library for the Chrome DevTools Protocol☆11Dec 27, 2023Updated 2 years ago
- Mark current symbol and jump in all matching symbols.☆13Jan 5, 2019Updated 7 years ago
- Clojure interpreter that does not support alphanumerics.☆13Apr 1, 2015Updated 10 years ago
- ☆12Oct 1, 2024Updated last year
- a Geojson utility for validating data using Clojure(script)'s spec (RFC 7946)☆18Nov 11, 2021Updated 4 years ago
- ☆14Jan 1, 2024Updated 2 years ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 4 years ago
- Emacs major mode for editing jq queries.☆133Sep 29, 2025Updated 5 months ago
- Context Sensitive Menu for Emacs Org Mode☆17Apr 11, 2025Updated 10 months ago
- Emacs minor mode to interact with elixir buffers by using LSP☆16Jun 25, 2019Updated 6 years ago
- Punish yourself for using Emacs inefficiently☆15May 6, 2020Updated 5 years ago
- clojure tools for getting information about the jvm runtime☆38Feb 3, 2022Updated 4 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated 10 months ago
- ☆38Jun 23, 2022Updated 3 years ago
- Think Stats - in Clojure!☆17Jan 13, 2016Updated 10 years ago
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆19Nov 15, 2025Updated 3 months ago
- A horrifying experiment in implementing a lisp in VBA. Plus there's excel interop.☆26Jun 29, 2013Updated 12 years ago
- "htop" for erlang / elixir processes☆16Apr 23, 2025Updated 10 months ago
- Clojure(Script) implementations of the self-describing multiformat specs☆21Mar 18, 2025Updated 11 months ago
- Colorimetry library for Common Lisp☆46Oct 22, 2023Updated 2 years ago
- URI manipulation facilities☆28Feb 20, 2025Updated last year
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- Minor mode for previewing code appearing in Erlang stack traces☆20Jun 8, 2023Updated 2 years ago
- This repository is supposed to hold a released version of Xanadu☆24Jul 26, 2021Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- GraphQL execution backend for org-babel☆19Dec 22, 2020Updated 5 years ago
- Godot engine gdnative clojure bindings☆20May 11, 2022Updated 3 years ago
- ContextL is a CLOS extension for Context-oriented Programming (COP), and was the first language extension that explicitly supports COP wh…☆56Oct 21, 2023Updated 2 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 3 years ago
- Clojure Merkle Trees☆52Oct 8, 2013Updated 12 years ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- Mirror of MIT CADR Lisp machine system software☆23Feb 14, 2019Updated 7 years ago
- Clojure implementation of Godot engine tutorial☆38May 11, 2022Updated 3 years ago