tlaplus/rfcs tlaplus/rfcs

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tlaplus/rfcs
github

tlaplus

Reviews

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

Repository Details

RFCs for changes to the TLA+ specification language

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

lecture

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

patterns

7
star
12

tlaplus-standard

A collection of various standards, proposed or established, related to TLA+
TLA
4
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