specifications

There are 6 repositories under specifications topic.

tlaplus / tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tla specifications model-checking verification high-performance java algorithms mit-license
Language:Java 2199
ipfs / specs
Technical specifications for the IPFS protocol stack
ipfs p2p protocol specifications specs standards
Language:HTML 1135
K-Phoen / rulerz
Powerful implementation of the Specification pattern in PHP
business-rules library php ruler rules rules-engine specifications
Language:PHP 870
ircv3-specifications
ircv3 / ircv3-specifications
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
irc ircv3 irc-protocol specifications working-group
771
p-org / PSharp
A framework for rapid development of reliable asynchronous software.
asynchronous-programming reliability specifications automated-testing state-machines dotnet
Language:C# 391
service-mesh-performance
service-mesh-performance / service-mesh-performance
Standardizing Service Mesh Value Measurement
meshery service-mesh service-mesh-performance service-mesh-benchmark management-plane multi-mesh-manager service-mesh-performance-benchmark performance-benchmarks specifications layer5 smp hacktoberfest cncf cloud-native
Language:Makefile 278
zcash / zips
Zcash Improvement Proposals
zcash cryptocurrency cryptography specifications
Language:HTML 264
hacspec / hacspec
Please see https://github.com/hacspec/hax
cryptography formal-verification specifications
Language:Coq 242
WebKit / standards-positions
WebKit's positions on emerging web specifications
ietf khronos specifications standards tc39 unicode w3c webkit whatwg
Language:Python 231
octokit / webhooks
machine-readable, always up-to-date GitHub Webhooks specifications
octokit-js webhooks specifications generated schema hacktoberfest
Language:TypeScript 203
codespecs / daikon
Dynamic detection of likely invariants
c csharp eiffel java machine-learning machinelearning perl specif specification-by-example specifications
Language:C 201
triple-underscore / triple-underscore.github.io
Japanese translations of various web spec.
japanese-translations specifications web-platform web-standards
Language:HTML 157
ircv3.github.io
ircv3 / ircv3.github.io
IRCv3 website
ircv3 website jekyll irc irc-protocol specifications working-group
Language:HTML 89
BioContainers / specs
BioContainers specifications
specifications docker biocontainers-specification biocontainers bioinformatics bioinformatics-containers biocontainers-architecture rkt bioinformatics-analysis
47
K-Phoen / RulerZBundle
Symfony Bundle for RulerZ
php symfony symfony-bundle specifications rule-engine rules
Language:PHP 38
loredanacirstea / taylor
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
ethereum blockchain lisp functional-programming types specifications computable-knowledge
Language:JavaScript 36
Mediagone / doctrine-specifications
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
doctrine repository criteria specifications clean-code
Language:PHP 31
prestashop-specs
PrestaShop / prestashop-specs
Project specifications for PrestaShop's Core features and native modules
prestashop prestashop-specifications specifications hacktoberfest
Language:HTML 31
lingxyz / standard
:traffic_light: 技术团队开发规范。Code standard for development team.
deveopment specifications standard
Language:CSS 27
ret / specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
haskell haskell-libraries mit-license parser specifications tlaplus
Language:Haskell 24
html-now / html-now.github.io
documentation ietf reference w3c web-development web-standards whatwg wicg specifications web-platform
Language:HTML 21
vip32 / Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
azure c-charp storage distributed-systems scheduled-jobs messaging queueing logging ddd-architecture correlation domain-driven-design specifications repositories servicediscovery microservices operations commands-queries
Language:C# 20
w3c / mdn-spec-links
MDN Spec Links – Linking specs to MDN and browser-support data
mdn specifications w3c web-development web-platform web-standards whatwg
Language:JSON 20
specify
adamdehaven / specify
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
dimensions adobe-illustrator javascript scale ruler script adobe cad assets design specifications dimension
17
iscn-specs
likecoin / iscn-specs
International Standard Content Number - decentralized content registry
iscn specifications iscn-specification iscn-registration registry
17
specification_curve
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.
specifications visualization analysis ols-regression econometrics robustness statistics
Language:Python 16
techspecs / techspecs-api
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
api consumer-electronics documentation laptops mobile mobile-description-api phone-specification phonespecsapi smartphone smartwatch specifications specifications-api tablet technical-specifications techspecs tv
16
canonical / charm-relation-interfaces
Opinionated and standardized interface specifications for charmed operator relations.
charming juju juju-interface schemas specifications validation
Language:Python 15
catseye / Specs-on-Spec
MIRROR of https://codeberg.org/catseye/Specs-on-Spec : A collection of language specifications which don't belong anywhere else
unimplemented specification specifications programming-languages
13
aergistal / il2
IL-2: Sturmovik Great Battles: Aircraft, Tanks & Other Vehicles Specifications
il-2 aircraft tanks vehicles specifications flightsim flight-simulation
12
speccer
phun-ky / speccer
A zero dependency package to highlight elements
annotate annotation speccer specification specs specifications information documentation html-elements spacing dissect dissection pin inspect anatomy css a11y accessibility
Language:TypeScript 12
azubieta / xdg-utils-cxx
Implementation of the FreeDesktop specifications to be used in c++ projects
freedesktop xdg specifications cpp-library cpp desktop-entry base-dir
Language:C++ 9
GEO-Protocol / specs-protocol
Human readable specifications of the low level GEO Protocol details.
geo specifications
9
jevko / specifications
Specifications related to Jevko.
jevko specification specifications syntax
Language:HTML 9
python-jsonschema / jsonschema-specifications
Support files exposing JSON from the JSON Schema specifications to Python
jsonschema json specifications validation json-schema
Language:Python 8
witnet / WIPs
Witnet Improvement Proposals
blockchain governance protocol rfc specifications witnet
8