owickstrom / tlaplus-cli-template
CLI-driven TLA+ project template
☆43Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for tlaplus-cli-template
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Static blog generator in Idris.☆39Updated 9 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- ☆40Updated 6 years ago
- refine properties for testing Haskell programs☆74Updated 9 months ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- enumerative property-based testing for Haskell☆53Updated 2 months ago
- A git-compatible content tracker in Haskell.☆66Updated 4 years ago
- Stroll: an experimental build system☆38Updated last year
- Haskell embedding of PlusCal☆61Updated 2 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- playground for working with succinct data structures