Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
☆27Oct 7, 2022Updated 3 years ago
Alternatives and similar repositories for specifica
Users that are interested in specifica are comparing it to the libraries listed below
Sorting:
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 7 months ago
- Simulate keyboard and mouse events using Haskell☆18Feb 16, 2015Updated 11 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆41Jul 22, 2025Updated 7 months ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 3 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 4 years ago
- Haskell Protocol Buffers