filter
pgo
Our great sponsors
filter | pgo | |
---|---|---|
- | 2 | |
146 | 167 | |
-0.7% | 4.8% | |
6.5 | 3.7 | |
about 2 months ago | 25 days ago | |
Go | TLA | |
MIT License | 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.
filter
We haven't tracked posts mentioning filter yet.
Tracking mentions began in Dec 2020.
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?
csvtk - A cross-platform, efficient and practical CSV/TSV toolkit in Golang
BlockingQueue - Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
go-underscore - Helpfully Functional Go - A useful collection of Go utilities. Designed for programmer happiness.
DrTLAPlus - Dr. TLA+ series - learn an algorithm and protocol, study a specification
resty - Simple HTTP and REST client library for Go
advent-of-tla - AoC goals in TLA+
JobRunner - Framework for performing work asynchronously, outside of the request flow
TLAplus - TLA+ questions, answers, and experiments
panicparse - Crash your app in style (Golang)
Examples - A collection of TLA⁺ specifications of varying complexities
ngrok - Unified ingress for developers