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.

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.

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

IRCv3 website

:zap: xarray data creation by data classes

Algorand Specifications

BioContainers specifications

:zap: pandas data creation by data classes

🌏 Web Platform features dashboard

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

Symfony Bundle for RulerZ

Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.

Agent skills for Spec Kit

Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.

Project specifications for PrestaShop's Core features and native modules

Specification Curve is a Python package that performs specification curve analysis: exploring how a coefficient varies under multiple different specifications of a statistical model.

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

A place where we develop RobustiPy