Elixir code and test generation from TLA+ specifications
☆81May 16, 2023Updated 3 years ago
Alternatives and similar repositories for tla-transmutation
Users that are interested in tla-transmutation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- Thaynã☆14Sep 20, 2026Updated last month
- Convert TLA+ output (and values) into JSON☆29Mar 3, 2021Updated 5 years ago
- ☆14Nov 29, 2019Updated 6 years ago
- Ar Cuchicionado — um CaaS (Cuchi as a Service) para quem está com calor☆20Sep 20, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kubernetes operator to autoscale Google's Cloud Bigtable clusters☆22Feb 3, 2023Updated 3 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆44Oct 21, 2026Updated last week
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆620Oct 12, 2026Updated 3 weeks ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆48Jul 7, 2022Updated 4 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Sep 28, 2026Updated last month
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A flexible way to query your schemas☆13Jan 16, 2020Updated 6 years ago
- Automated code review in Python☆19Jun 3, 2018Updated 8 years ago
- Papers We ❤️ Joinville☆14May 29, 2020Updated 6 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- ☆12Oct 18, 2026Updated 2 weeks ago
- Model Context Protocol (MCP) and Agent Client Protocol (ACP) client/server library for Elixir☆32Updated this week
- Example use of leex and yecc in Elixir with an escript☆22Nov 11, 2025Updated 11 months ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- A TLA+ module for animating TLC traces.☆50Dec 9, 2024Updated last year
- 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.
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆318Oct 26, 2026Updated last week
- Contador de Pessoas Vacinadas na Magrathea☆22Oct 11, 2021Updated 5 years ago
- TLA+ specification for Succinct Atomic Swap smart contract☆23Jul 3, 2020Updated 6 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- TopLast is a Last.fm chart generator☆10Mar 4, 2023Updated 3 years ago
- Credo Checks used internally by the Blitz Backend Elixir team.☆19Oct 24, 2025Updated last year
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆211Dec 17, 2025Updated 10 months ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 5 years ago
- A comprehensive ML architecture library for Elixir/Nx/Axon - 44 architectures across 14 families☆16Updated this week
- Mutation testing for Elixir☆72Dec 8, 2022Updated 3 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- A set of ontologis to represent Elixir static code, OTP and code evolution☆17Aug 7, 2026Updated 2 months ago
- Bringing Prolog to the masses.☆36Mar 7, 2022Updated 4 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago