People Alternatives

Similar projects and alternatives to people

tlaplus

38 2,208 9.1 Java people 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 people 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.
awesome-tlaplus

1 122 5.0 people VS awesome-tlaplus

A curated list of TLA+ resources.

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

Suggest an alternative to people

people reviews and mentions

Posts with mentions or reviews of people. 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

Can't speak for crypto projects. I used it to verify some incredibly complicated security fixes I made; you can find my models here:
https://gitlab.com/xen-project/people/gdunlap/tla
And the security advisory here:
https://xenbits.xenproject.org/xsa/advisory-299.txt
A description of the issue, sketches of the attacks, and the fixes can be found in the individual patches.
TLA+ was obviously very powerful, but it is incredibly quirky in so many ways. The scoping of variable in PlusCal is really strange: it looks like you can make variables with local scope, but then they turn out to have global scope.
You have to fight the tool to be able to use it outside of its special-purpose IDE or make it something that could be sensibly collaborated on over git. (See some of the makefile runes in the above repo to see the kind of thing I did.) Getting it to do parallel searches was difficult.