Top 6 pluscal Open-Source Projects

Examples

7 1,217 8.3 TLA

A collection of TLA⁺ specifications of varying complexities (by tlaplus)

Project mention: Suggestions for model checking? | /r/tlaplus | 2023-07-12

I need to write a small case study using TLA+. Where can I find some distributed/concurrent algorithm or system that is not too complex and hasn't been specified yet? There are so many examples already covered in the official repository alone that I'm out of ideas.

DrTLAPlus

1 777 1.8 TLA

Dr. TLA+ series - learn an algorithm and protocol, study a specification
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
vscode-tlaplus

1 329 8.2 TypeScript

TLA+ language support for Visual Studio Code
CommunityModules

3 253 7.1 TLA

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pgo

2 167 3.7 TLA

PGo is a source to source compiler from Modular PlusCal specs into Go programs.
tree-sitter-tlaplus

2 52 5.3 C

A tree-sitter grammar for TLA⁺ and PlusCal

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).