Stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
GoPool is a high-performance, feature-rich, and easy-to-use worker pool library for Golang.
🔘 Minimalistic and High-performance goroutine worker pool written in Go
Litter is a pretty printer library for Go data structures to aid in debugging and testing.
Specification for GROQ - The Query Language for JSON
Sanity Studio – Rapidly configure content workspaces powered by structured content