tla-mode for emacs
☆23Apr 27, 2021Updated 5 years ago
Alternatives and similar repositories for tla-mode
Users that are interested in tla-mode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ tools for Emacs☆38Dec 14, 2024Updated last year
- Algorithm Mnemonics: Increase Productivity with STL Algorithms for GNU Emacs☆11Oct 15, 2016Updated 10 years ago
- Store EIEIO objects using EmacSQL☆36Oct 21, 2026Updated last week
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- Emacs interface to the Docker Remote API☆17May 25, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Janet bindings for the persistent data structure library "immer"☆29Dec 23, 2023Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Kami based processor implementations and specifications☆23Jun 8, 2020Updated 6 years ago
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- Haskell data types and functions for countries☆29May 28, 2026Updated 5 months ago
- Forth bits-and-pieces (for World Domination)☆14Jun 2, 2009Updated 17 years ago
- stevienix - a hobby unix clone☆11May 24, 2022Updated 4 years ago
- LuaJIT FFI bindings to the jemalloc library version 3.5☆14Feb 21, 2014Updated 12 years ago
- Emacs sql-indent☆19Mar 8, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Browse Dash docsets using Ivy☆68Dec 17, 2022Updated 3 years ago
- ☆41Feb 17, 2020Updated 6 years ago
- Genetic Evolution through Combination of Objects☆10Oct 30, 2022Updated 4 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- An implementation of the Semantic Versioning specification for Haskell☆13Oct 7, 2022Updated 4 years ago
- lock-free malloc implementation☆14Dec 13, 2010Updated 15 years ago
- small stack machine☆16Jan 27, 2026Updated 9 months ago
- Idris, but it's C☆24May 25, 2018Updated 8 years ago
- Mocking library for Emacs☆38Jun 25, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Record and replay serial port traffic with pytest.☆10Dec 30, 2025Updated 10 months ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- Monitor fluentd plugin stats☆10Apr 28, 2015Updated 11 years ago
- Silence mypy by adding or removing code comments☆19Oct 27, 2026Updated last week
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆37Feb 3, 2025Updated last year
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- ☆12Mar 6, 2013Updated 13 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Dec 30, 2023Updated 2 years ago
- ☆39Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Rust implementation of challenges and problems covered in structy.net data structures and algorithm course.☆13Apr 7, 2023Updated 3 years ago
- Redis server built over grpc☆13Apr 13, 2016Updated 10 years ago
- ☆16Feb 18, 2025Updated last year
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆16Jul 4, 2026Updated 3 months ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- ☆10Jan 11, 2019Updated 7 years ago
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 6 years ago