specifications

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

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 conduct: http://ircv3.net/conduct.html

A framework for rapid development of reliable asynchronous software.

Standardizing Cloud Native Value Measurement

WebKit's positions on emerging web specifications

Zcash Improvement Proposals

machine-readable, always up-to-date GitHub Webhooks specifications

Please see https://github.com/hacspec/hax

Dynamic detection of likely invariants

A curated list of technical standards, they may be called requests for comments, proposals, drafts, notes, specifications, or something else

Japanese translations of various web spec.

IRCv3 website

⚡ xarray data creation by data classes

⚡ pandas data creation by data classes

BioContainers specifications

🌏 Web Platform features dashboard

Symfony Bundle for RulerZ

🚥 技术团队开发规范。Code standard for development team.