|
Clojure |
6 |
Simple TLA+ Dependency Manager |
Apr 14, 2023 |
|
TeX |
4 |
Examples for TLAPS (TLA+ Proof System) |
Aug 01, 2022 |
|
Rust |
7 |
A manager for TLA+ projects, written in Rust. |
Oct 30, 2022 |
|
Python |
26 |
Utilities for the TLA+ ecoystem and model-based testing using TLA+. |
May 26, 2022 |
|
TLA |
220 |
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community |
Apr 22, 2023 |
|
TLA |
2 |
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community |
Nov 03, 2020 |
|
None |
20 |
TLA+ Foundation |
Apr 24, 2023 |
|
TLA |
2 |
Learning TLA+ with "Practical TLA+" by Hillel Wayne |
Apr 09, 2019 |
|
Java |
2014 |
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is … |
Apr 24, 2023 |
|
None |
2 |
Results TLA+ Surveys |
May 19, 2022 |
|
TLA |
3 |
TiKV TLA+ specifications |
Mar 04, 2022 |
|
CSS |
279 |
A TLA+ guide |
Mar 05, 2023 |
|
VimL |
3 |
TLA+ specification language |
Sep 14, 2021 |
|
Rust |
3 |
Proof of concept for Ora Package Manager |
Dec 10, 2020 |
|
Dockerfile |
11 |
A Dockerfile for building the TLA+ tools |
Mar 29, 2022 |
|
HTML |
8 |
The TLA+ Video Course by Leslie Lamport |
Aug 22, 2022 |
|
Shell |
149 |
Command line binaries for the TLA+ language |
Apr 27, 2023 |
|
TLA |
2 |
TLA+ specification for the Raft consensus algorithm |
Dec 16, 2022 |
|
TLA |
19 |
TLA+ specification of the Ceph consensus algorithm |
Sep 11, 2022 |
|
TLA |
2 |
TLA+ Specification of the MongoDB Replication Protocol |
Oct 25, 2023 |
|
TLA |
19 |
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to … |
Jul 07, 2022 |
|
TLA |
7 |
Azure Cosmos TLA+ specifications |
Mar 23, 2023 |
|
TLA |
3 |
EDN Operators for TLA+ |
Apr 17, 2023 |
|
Clojure |
8 |
Override TLA+ Operators Anywhere |
May 02, 2021 |
|
JavaScript |
20 |
TLA+ Web Explorer Prototype |
Jul 11, 2022 |
|
Python |
112 |
Jupyter kernel for TLA⁺ |
Oct 09, 2022 |
|
TLA |
6 |
Bazel rules for TLA+ |
May 23, 2021 |
|
TLA |
208 |
Azure Cosmos TLA+ specifications |
Aug 08, 2022 |
|
TLA |
23 |
Tests with PlusCal / TLA+ |
Feb 16, 2023 |
|
Emacs Lisp |
2 |
Flycheck checker for TLA+ |
Mar 01, 2019 |
|
TLA |
2 |
TLA+ models for µONOS |
Oct 04, 2022 |
|
VimL |
2 |
TLA+ plugin for Gvim |
Sep 18, 2020 |
|
TLA |
2 |
Projects specified in TLA+ |
Apr 27, 2019 |
|
TLA |
2 |
Learning Material for TLA+ |
Jul 30, 2023 |
|
CMake |
4 |
The subgine package manager. Currently at the stage of a proof of concept. |
Apr 27, 2022 |
|
TeX |
10 |
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html). |
Sep 20, 2022 |
|
Python |
3 |
ArkScript package manager - a Python proof of concept |
May 19, 2023 |
|
TLA |
7 |
Verifying the correctness of CRDTs using TLA+/PlusCal |
Jul 16, 2022 |
|
None |
13 |
RFCs for changes to the TLA+ specification language |
Oct 28, 2022 |
|
TLA |
15 |
A TLA+ specification for the Xen vchan protocol |
Jul 03, 2022 |
|
TLA |
17 |
TLC models for the MongoDB Replication TLA+ specification. |
May 02, 2022 |
|
TeX |
2 |
TLA+ Spec for the Cure Key-Value Store |
Dec 05, 2020 |
|
TLA |
3 |
A TLA⁺ specification of the Spire consensus protocol |
May 03, 2022 |
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |