specifications topic
ircv3-specifications
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
PSharp
A framework for rapid development of reliable asynchronous software.
new-tailwind-app
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
rulerz
Powerful implementation of the Specification pattern in PHP
hacspec
Please see https://github.com/hacspec/hax
zips
Zcash Improvement Proposals
triple-underscore.github.io
Japanese translations of various web spec.
service-mesh-performance
Standardizing Service Mesh Value Measurement
webhooks
machine-readable, always up-to-date GitHub Webhooks specifications