tlaplus/tlaplus-standard tlaplus/tlaplus-standard

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language TLA
  • License
    MIT License
  • Created over 3 years ago
  • Updated 19 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tlaplus/tlaplus-standard
github

tlaplus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A collection of various standards, proposed or established, related to TLA+

More Repositories

1

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java
2,301
star
2

Examples

A collection of TLA⁺ specifications of varying complexities
TLA
1,280
star
3

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification
TLA
813
star
4

vscode-tlaplus

TLA+ language support for Visual Studio Code
TypeScript
352
star
5

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA
269
star
6

PlusPy

Python interpreter for TLA+ specifications
Python
113
star
7

tlapm

The TLA Proof Manager
OCaml
66
star
8

foundation

TLA+ Foundation
HTML
23
star
9

PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz
TeX
20
star
10

rfcs

RFCs for changes to the TLA+ specification language
13
star
11

lecture

The TLA+ Video Course by Leslie Lamport
HTML
8
star
12

patterns

7
star
13

tla_python

A parser for TLA+, the Temporal Logic of Actions
Python
3
star
14

Survey

Results TLA+ Surveys
2
star
15

www

http://www.tlapl.us
HTML
1
star