DrTLAPlus
pgo
DrTLAPlus | pgo | |
---|---|---|
1 | 2 | |
777 | 167 | |
1.2% | 2.4% | |
1.8 | 3.7 | |
about 2 years ago | about 1 month ago | |
TLA | TLA | |
- | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
DrTLAPlus
-
Ask HN: Do You Use TLA+
## 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?
pgo
-
Is “x' = f(x)” a programming paradigm?
Maybe you'd be interested in PGo, though it's nothing like you asked for ;-), but at least it's in similar domain. They had a talk at the TLA+ Conference.
-
TLA+ in OMSCS?
There are research efforts underway to auto-generate code from TLA+ specifications but they are still in their infancy.
What are some alternatives?
BlockingQueue - Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
advent-of-tla - AoC goals in TLA+
people
TLAplus - TLA+ questions, answers, and experiments
CommunityModules - TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Examples - A collection of TLA⁺ specifications of varying complexities
ewd998 - Distributed termination detection on a ring, due to Shmuel Safra:
panicparse - Crash your app in style (Golang)