owickstrom / tlaplus-cli-templateLinks
CLI-driven TLA+ project template
☆43Updated 6 years ago
Alternatives and similar repositories for tlaplus-cli-template
Users that are interested in tlaplus-cli-template are comparing it to the libraries listed below
Sorting:
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- 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 pure Haskell implementation of Datalog☆105Updated 4 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- refine properties for testing Haskell programs☆74Updated 6 months ago
- QuickCheck extras.☆29Updated 6 years ago
- Cap'n Proto for Haskell☆96Updated 2 years ago
- Notes on space leaks☆102Updated 4 years ago
- Type-safe data versioning.☆98Updated last year
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Fork of official GHC repository.☆44Updated last year
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 6 years ago
- ☆42Updated 6 years ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- Fast, scalable and secure de-duplicating backup.☆16Updated 5 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- Proposed documentation for alloytools.org☆70Updated 8 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 6 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- ☆40Updated 7 years ago
- Content Addressable Storage Archive☆41Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago