TLC is a model checker for specifications written in TLA+. The TLA+Toolb...
Coyote is a library and tool for testing concurrent C# code and determin...
Technical specifications for the IPFS protocol stack
Powerful implementation of the Specification pattern in PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of c...
A framework for rapid development of reliable asynchronous software.
Standardizing Service Mesh Value Measurement
Zcash Improvement Proposals
Please see https://github.com/hacspec/hax
WebKit's positions on emerging web specifications
machine-readable, always up-to-date GitHub Webhooks specifications
Japanese translations of various web spec.
IRCv3 website
BioContainers specifications
Symfony Bundle for RulerZ