specifications
There are 148 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 Service Mesh Value Measurement
zcash/zips
Zcash Improvement Proposals
hacspec/hacspec
Please see https://github.com/hacspec/hax
WebKit/standards-positions
WebKit's positions on emerging web specifications
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
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.
Mediagone/doctrine-specifications
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
PrestaShop/prestashop-specs
Project specifications for PrestaShop's Core features and native modules
lingxyz/standard
:traffic_light: 技术团队开发规范。Code standard for development team.
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
vip32/Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
w3c/mdn-spec-links
MDN Spec Links – Linking specs to MDN and browser-support data
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
canonical/charm-relation-interfaces
Opinionated and standardized interface specifications for charmed operator relations.
techspecs/techspecs-api
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
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
phun-ky/speccer
A zero dependency package to highlight elements
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.
jevko/specifications
Specifications related to Jevko.
python-jsonschema/jsonschema-specifications
Support files exposing JSON from the JSON Schema specifications to Python
jsonurl/specification
JSON->URL defines a text format for the JSON data model suitable for use within a URL/URI (as described by RFC3986). This repository holds the JSON->URL specification.