Alternatives and similar repositories for TLAPlusDocker

Users that are interested in TLAPlusDocker are comparing it to the libraries listed below

• prologbyexample / code
  ☆31Updated 2 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆75Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆178Updated last year
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆29Updated 4 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 4 months ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆24Updated 5 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• CertiKOS / coqrel
  Binary logical relations library for the Coq proof assistant
  ☆22Updated 3 months ago
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆57Updated last year
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆120Updated 3 years ago
• pmer / tla-bin
  Command line binaries for the TLA+ language
  ☆172Updated 2 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 7 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last week
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• larrytheliquid / Lemmachine
  REST'ful web framework in Agda
  ☆134Updated 15 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆38Updated last month
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆114Updated this week
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 3 years ago
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆87Updated 5 years ago