specifications
There are 171 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
WebKit/standards-positions
WebKit's positions on emerging web specifications
zcash/zips
Zcash Improvement Proposals
octokit/webhooks
machine-readable, always up-to-date GitHub Webhooks specifications
hacspec/hacspec
Please see https://github.com/hacspec/hax
codespecs/daikon
Dynamic detection of likely invariants
donBarbos/awesome-standards
A curated list of technical standards, they may be called requests for comments, proposals, drafts, notes, specifications, or something else
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
astropenguin/pandas-dataclasses
:zap: pandas data creation by data classes
K-Phoen/RulerZBundle
Symfony Bundle for RulerZ
html-now/html-now.github.io
🌏 Web Platform features dashboard
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.
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
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
adamdehaven/specify
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
vip32/Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
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.
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!
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.
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.
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.