pgo
mergo
Our great sponsors
pgo | mergo | |
---|---|---|
2 | 2 | |
166 | 2,704 | |
4.2% | - | |
3.7 | 4.0 | |
17 days ago | about 1 month ago | |
TLA | Go | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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.
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.
mergo
-
Golang merge values in map
Working with unstructured data is always a pain in the ass. Either you write it out and work your way through the issues (with strong testing!) or you could look into an external library like https://github.com/imdario/mergo
-
Concurrently write to nested struct
By the way, does anybody have experience with mergo? (https://github.com/imdario/mergo).
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!
fzf - :cherry_blossom: A command-line fuzzy finder
advent-of-tla - AoC goals in TLA+
sqlx - general purpose extensions to golang's database/sql
DrTLAPlus - Dr. TLA+ series - learn an algorithm and protocol, study a specification
boilr - :zap: boilerplate template manager that generates files or directories from template repositories
TLAplus - TLA+ questions, answers, and experiments
mp - Simple Email Parser
Examples - A collection of TLA⁺ specifications of varying complexities
fastlz - Wrap over FastLz for GoLang
panicparse - Crash your app in style (Golang)
ngrok - Unified ingress for developers