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
- ♾️ Sized list☆46Updated 6 months ago
- Stroll: an experimental build system☆38Updated last year
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Haskell distributed stream processing with exactly-once semantics☆90Updated 10 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Very small examples of TLA+ features.☆43Updated 5 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆47Updated last year
- A fast open-union type, suitable for 100+ contained alternatives.☆97Updated 6 months ago
- Proposed documentation for alloytools.org☆69Updated 8 months ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Notes on space leaks☆101Updated 4 years ago
- ☆41Updated 6 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆72Updated this week
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- Content Addressable Storage Archive☆41Updated 7 months ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆25Updated 2 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Course material for lens☆21Updated 7 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- An extension to Data.Serialize with built-in version control☆60Updated 5 months ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Convert TLA+ output (and values) into JSON☆24Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago