specifications
There are 156 repositories under specifications topic.
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ipfs/specs
Technical specifications for the IPFS protocol stack
K-Phoen/rulerz
Powerful implementation of the Specification pattern in PHP
ircv3/ircv3-specifications
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
p-org/PSharp
A framework for rapid development of reliable asynchronous software.
service-mesh-performance/service-mesh-performance
Standardizing Cloud Native Value Measurement
zcash/zips
Zcash Improvement Proposals
WebKit/standards-positions
WebKit's positions on emerging web specifications
hacspec/hacspec
Please see https://github.com/hacspec/hax
octokit/webhooks
machine-readable, always up-to-date GitHub Webhooks specifications
codespecs/daikon
Dynamic detection of likely invariants
triple-underscore/triple-underscore.github.io
Japanese translations of various web spec.
ircv3/ircv3.github.io
IRCv3 website
astropenguin/xarray-dataclasses
:zap: xarray data creation by data classes
BioContainers/specs
BioContainers specifications
K-Phoen/RulerZBundle
Symfony Bundle for RulerZ
loredanacirstea/taylor
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
lingxyz/standard
:traffic_light: 技术团队开发规范。Code standard for development team.
PrestaShop/prestashop-specs
Project specifications for PrestaShop's Core features and native modules
Mediagone/doctrine-specifications
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
html-now/html-now.github.io
🌏 Web Platform features dashboard
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
w3c/mdn-spec-links
MDN Spec Links – Linking specs to MDN and browser-support data
vip32/Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
adamdehaven/specify
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
aeturrell/specification_curve
Specification Curve is a Python package that performs specification curve analysis: exploring how a coefficient varies under multiple different specifications of a statistical model.
likecoin/iscn-specs
International Standard Content Number - decentralized content registry
techspecs/techspecs-api
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
phun-ky/speccer
SPECCER was originally created to simplify documenting components in a design system, but it can be used to annotate or highlight any HTML element on a webpage. If you need to draw attention to elements, SPECCER is your tool!
catseye/Specs-on-Spec
MIRROR of https://codeberg.org/catseye/Specs-on-Spec : A collection of language specifications which don't belong anywhere else
aergistal/il2
IL-2: Sturmovik Great Battles: Aircraft, Tanks & Other Vehicles Specifications
python-jsonschema/jsonschema-specifications
Support files exposing JSON from the JSON Schema specifications to Python
jevko/specifications
Specifications related to Jevko.
azubieta/xdg-utils-cxx
Implementation of the FreeDesktop specifications to be used in c++ projects
GEO-Protocol/specs-protocol
Human readable specifications of the low level GEO Protocol details.
witnet/WIPs
Witnet Improvement Proposals