Awesome-tlaplus Alternatives

Similar projects and alternatives to awesome-tlaplus

tlaplus

38 2,208 9.1 Java awesome-tlaplus VS tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
DrTLAPlus

1 777 1.8 TLA awesome-tlaplus VS DrTLAPlus

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

www.influxdata.com featured

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.
people

1 - - awesome-tlaplus VS people

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better awesome-tlaplus alternative or higher similarity.

Suggest an alternative to awesome-tlaplus

awesome-tlaplus reviews and mentions

Posts with mentions or reviews of awesome-tlaplus. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-03.

Ask HN: Do You Use TLA+
5 projects | news.ycombinator.com | 3 Feb 2022

## TLA+
Wikipedia: https://en.wikipedia.org/wiki/TLA%2B
Src: https://github.com/tlaplus/tlaplus
Awesome: https://github.com/tlaplus/awesome-tlaplus
### Dr TLA+
Web: https://github.com/tlaplus/DrTLAPlus
Src: https://github.com/tlaplus/DrTLAPlus :
> Dr. TLA+ series - learn an algorithm and protocol, study a specification; [Byzantine] Paxos, Raft, Cosmos,
##
"Concurrency: The Works of Leslie Lamport" ( https://g.co/kgs/nx1BaB
##
https://westurner.github.io/hnlog/#comment-27442819 :
> Can there still be side channel attacks in formally verified systems? Can e.g. TLA+ help with that at all?