Alternatives and similar repositories for payment-channel-tla

Users that are interested in payment-channel-tla are comparing it to the libraries listed below

• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 7 months ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆82Updated last week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• tlaplus / PlusCalCheatSheet
  PlusCal Cheat Sheet by Stephan Merz
  ☆23Updated 10 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆39Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• imandra-ai / fix-engine
  Imandra FIX Engine
  ☆52Updated 2 weeks ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆150Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• pmer / tla-bin
  Command line binaries for the TLA+ language
  ☆170Updated 2 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆67Updated 2 months ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆30Updated 4 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• janestreet / bin_prot
  Binary protocol generator
  ☆81Updated 2 months ago
• lemmy / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Updated 2 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆30Updated last year
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 6 years ago
• muratdem / HLC
  ☆15Updated 7 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆73Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 6 years ago