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 simple and easy-to-use file-format to package resources

A framework for rapid development of reliable asynchronous software.

WebKit's positions on emerging web specifications

Standardizing Cloud Native Value Measurement

Zcash Improvement Proposals

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

Dynamic detection of likely invariants

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

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

SDD toolkit for Cursor IDE — /specify, /plan, /tasks to turn ideas into specs, plans, and actionable tasks.

A Claude Code plugin that reverse-engineers clean behavioral specs, test vectors, and acceptance criteria from any codebase, producing a provenance trail so a fresh team can reimplement without inheriting the original's internal structure.

Japanese translations of various web spec.

Agent skills for Spec Kit

IRCv3 website

⚡ xarray data creation by data classes

Algorand Specifications