Topic: "specifications"
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language: Java - Size: 139 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 2,432 - Forks: 211
ipfs/specs
Technical specifications for the IPFS protocol stack
Language: HTML - Size: 14.3 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 1,194 - Forks: 234
K-Phoen/rulerz
Powerful implementation of the Specification pattern in PHP
Language: PHP - Size: 685 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 874 - Forks: 98
ircv3/ircv3-specifications
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
Size: 576 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 793 - Forks: 80
p-org/PSharp 📦
A framework for rapid development of reliable asynchronous software.
Language: C# - Size: 47.5 MB - Last synced at: 27 days ago - Pushed at: over 4 years ago - Stars: 390 - Forks: 37
service-mesh-performance/service-mesh-performance
Standardizing Cloud Native Value Measurement
Language: Makefile - Size: 30.9 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 299 - Forks: 155
zcash/zips
Zcash Improvement Proposals
Language: TeX - Size: 456 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 278 - Forks: 160
WebKit/standards-positions
WebKit's positions on emerging web specifications
Language: Python - Size: 925 KB - Last synced at: 7 days ago - Pushed at: 25 days ago - Stars: 276 - Forks: 28
hacspec/hacspec 📦
Please see https://github.com/hacspec/hax
Language: Coq - Size: 131 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 243 - Forks: 42
octokit/webhooks
machine-readable, always up-to-date GitHub Webhooks specifications
Language: TypeScript - Size: 11.6 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 241 - Forks: 41
codespecs/daikon
Dynamic detection of likely invariants
Language: C - Size: 873 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 224 - Forks: 56
triple-underscore/triple-underscore.github.io
Japanese translations of various web spec.
Language: HTML - Size: 249 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 161 - Forks: 8
ircv3/ircv3.github.io
IRCv3 website
Language: HTML - Size: 2.98 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 92 - Forks: 88
astropenguin/xarray-dataclasses
:zap: xarray data creation by data classes
Language: Python - Size: 3.4 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 80 - Forks: 8
astropenguin/pandas-dataclasses
:zap: pandas data creation by data classes
Language: Python - Size: 2.84 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 51 - Forks: 3
BioContainers/specs
BioContainers specifications
Size: 479 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 51 - Forks: 12
donBarbos/awesome-standards
A curated list of technical standards, they may be called requests for comments, proposals, drafts, notes, specifications, or something else
Size: 1.06 MB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 45 - Forks: 2
K-Phoen/RulerZBundle
Symfony Bundle for RulerZ
Language: PHP - Size: 64.5 KB - Last synced at: 18 days ago - Pushed at: over 6 years ago - Stars: 38 - Forks: 27
html-now/html-now.github.io
🌏 Web Platform features dashboard
Language: HTML - Size: 1.78 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 37 - Forks: 11
loredanacirstea/taylor
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
Language: JavaScript - Size: 27.6 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 37 - Forks: 2
PrestaShop/prestashop-specs
Project specifications for PrestaShop's Core features and native modules
Language: HTML - Size: 31.9 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 34 - Forks: 26
lingxyz/standard
:traffic_light: 技术团队开发规范。Code standard for development team.
Language: CSS - Size: 1.21 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 34 - Forks: 27
Mediagone/doctrine-specifications
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
Language: PHP - Size: 84 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 3
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Language: Haskell - Size: 9.85 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 2
w3c/mdn-spec-links
MDN Spec Links – Linking specs to MDN and browser-support data
Language: JSON - Size: 56.2 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 22 - Forks: 17
vip32/Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
Language: C# - Size: 6.35 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 3
adamdehaven/specify
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
Size: 911 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 5
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!
Language: HTML - Size: 15.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 19 - Forks: 1
likecoin/iscn-specs
International Standard Content Number - decentralized content registry
Size: 691 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 9
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.
Language: Python - Size: 4.13 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 4
RobustiPy/robustipy
A place where we develop RobustiPy
Language: Jupyter Notebook - Size: 100 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 16 - Forks: 1
techspecs/techspecs-api
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 4
catseye/Specs-on-Spec
MIRROR of https://codeberg.org/catseye/Specs-on-Spec : A collection of language specifications which don't belong anywhere else
Size: 297 KB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 13 - Forks: 0
python-jsonschema/jsonschema-specifications
Support files exposing JSON from the JSON Schema specifications to Python
Language: Python - Size: 201 KB - Last synced at: about 10 hours ago - Pushed at: 6 days ago - Stars: 12 - Forks: 7
aergistal/il2
IL-2: Sturmovik Great Battles: Aircraft, Tanks & Other Vehicles Specifications
Size: 10.6 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 12 - Forks: 1
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.
Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 3
witnet/WIPs
Witnet Improvement Proposals
Size: 410 KB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 10
jevko/specifications
Specifications related to Jevko.
Language: HTML - Size: 250 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0
OmicsDI/specifications
Description about the resource, file formats, etc
Size: 42.3 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 5
azubieta/xdg-utils-cxx
Implementation of the FreeDesktop specifications to be used in c++ projects
Language: C++ - Size: 127 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 6
GEO-Protocol/specs-protocol
Human readable specifications of the low level GEO Protocol details.
Size: 363 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 2
kkrull/javaspec
Spec-style testing for Java
Language: Java - Size: 1.69 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1
Robotnik08/Dosato-docs
Official documentation for the dosato language
Language: JavaScript - Size: 296 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 0
erlwes/Get-LenovoInfo
Get product- and warranty information of Lenovo PCs
Language: PowerShell - Size: 160 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 2
cloudposse-archives/codefresh 📦
Catalog of reusable Codefresh pipelines, pipeline specs, and pipeline shared steps.
Language: Makefile - Size: 146 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 3
Aquila-Network/specs
Aquila Network Neural Search Engine technical specifications
Size: 65.4 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
apideck-io/api-registry
The API registry is an API specifications registry that indexes specs like OpenAPI, Swagger, API Blueprint, Apache Avro, Protocol buffers, JSON Schema, Postman Collections, Kafka, WSDL, XML, AsyncAPI, GraphQL schemas, and more.
Size: 1000 Bytes - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 3
avtocod/specs
Specifications repository
Language: TypeScript - Size: 2.87 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 6 - Forks: 18
openactive/modelling-opportunity-data
OpenActive Modelling Opportunity Data specification
Language: HTML - Size: 1.92 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 6
GEO-Protocol/specs-gsr
Low level GSR architecture and design.
Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 0
GEO-Protocol/specs-equivalents
Human readable specifications about low level Equivalents Registry architecture and design.
Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 0
openactive/realtime-paged-data-exchange
OpenActive Realtime Paged Data Exchange Specification
Language: HTML - Size: 379 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 1
johnjvester/jpa-spec
Sample project to demo JPA Specifications
Last synced at: about 2 years ago - Stars: 6 - Forks: 2
weechat/specs.weechat.org
WeeChat specifications.
Size: 267 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 3
mrigankpawagi/GuardRails
VSCode extension to help developers set up guardrails around their functions, by helping them disambiguate purpose statements.
Language: Python - Size: 11.2 MB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1
vjik/specification
PHP implementation of "Specification" pattern
Language: PHP - Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0
Paorakh/workfile
Workfile is an specification on how we can achieve the project management in a single plain text file format. Too many fields in a form to describe milestones, tasks, assignments, etc ? Workfile approach is to have one big text box
Language: HTML - Size: 110 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 4
nenbutsu/ISLispHyperDraft
ISLisp Specification Draft
Language: HTML - Size: 1.24 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 1
iscc/iscc-ieps
ISCC - Enhancement Proposals
Language: CSS - Size: 2.34 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0
durvalprintes/minicurso-springboot
Projeto API REST com Spring Boot utlizado em um minicurso no evento de Projetos e Carreiras TI na UFOPA, campus de Oriximina
Language: Java - Size: 3.23 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
aragon/specs 📦
A collection of specs describing how Aragon works
Size: 8.79 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1
astropenguin/dataspecs
Data specifications by data classes
Language: Python - Size: 1.68 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 0
wbcsd/pact-openapi
The OpenAPI schema definitions for the PACT Network
Language: Python - Size: 168 KB - Last synced at: 26 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
intgr/awesome-grassroots-standards
A curated list of awesome technology specifications and standards created by community members or small organizations.
Size: 19.5 KB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0
heap-data-structure/about
:fallen_leaf: Heap data structures for JavaScript
Size: 1.9 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
tzanis-anevlavis/evrostos
Evrostos: The rLTL Verifier
Language: C - Size: 10.8 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
server-state/specs
Specifications for the server-state project's core aspects
Language: HTML - Size: 420 KB - Last synced at: 6 days ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
hacspec/hacspecs-rust 📦
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
Language: Rust - Size: 1.89 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 3
openEHR/specs-website
Source code for specifications.openehr.org
Language: CSS - Size: 4.11 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 2
w3c-cg/solid
W3C Solid Community Group
Size: 168 KB - Last synced at: about 23 hours ago - Pushed at: 4 months ago - Stars: 2 - Forks: 5
Preponderous-Software/Ponder
This Kotlin library contains a collection of modules that assist with the development of console applications and Minecraft plugins.
Language: Kotlin - Size: 592 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 3
eigerco/move-spec-testing-old Fork of aptos-labs/aptos-core 📦
The specification testing tool for the Move language based on the mutant generation.
Language: Rust - Size: 251 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 2
TimotheeL/rundown
A human readable description language for running workouts
Size: 174 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
Antanidoss/Antanidoss.Specification
These are combined specifications
Language: C# - Size: 38.1 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
JuergenOrth/PRIMERGY
Links for tools regarding server management.
Size: 22.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2
marcopotok/jpa-predicate-builder
Lightweight layer on top of JPA for easy query construction in Java
Language: Java - Size: 92.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
openactive/route-guide
Repository for discussion of the Routes and Routes Metadata aspects of the OpenActive Opportunity model.
Language: HTML - Size: 1000 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
seanpm2001/Seanpm2001-Specifications
An article on technical specifications by @seanpm2001
Language: Markdown - Size: 671 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
openactive/open-booking-api
Repository for the Open Booking API specification
Language: HTML - Size: 4.35 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 3
webcirque/websf
A multi-usage JavaScript Framework, as extensible as possible.
Language: JavaScript - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
XLsn0w/Specs
创建私有CocoaPods库所对应的Specs仓库repos
Language: Ruby - Size: 2.93 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
RafaelLeoni/generic-specifications
This project is to use generic specifications of Spring Data JPA to query any parameter
Language: Java - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
ExE-Boss/specifications
A GitHub pages sub-page containing all the specifiations that I've ever written.
Language: HTML - Size: 527 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
openactive/ns-beta
Beta namespace for OpenActive Vocabulary defined in the Modelling Opportunity Data Specification
Size: 159 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 3
clarin-eric/fcs-misc
Specification documents, examples and schema files
Language: Java - Size: 63.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 2
openactive/openactive.github.io
OpenActive Vocabulary defined in the Modelling Opportunity Data Specification
Language: CSS - Size: 255 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
meilisearch/mainspector
Main specification inspector
Language: JavaScript - Size: 38.1 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1
meilisearch/devspector 📦
Develop specification inspector
Language: JavaScript - Size: 9.05 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
compspec/spec
Composition and Compatibility Specifications
Size: 91.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
piemaboot/specifications
Specifications of the formats used in Piema
Language: Markdown - Size: 3.07 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
jeff-zucker/specs2glossary
Gather & display terms from the Solid specifications
Language: HTML - Size: 26.4 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
RenanMeirelles/BusinessPortfolio
Portfolio containing examples of documentation using BPMN, User Stories, BDD and other stuff to facilitate the developer's challenges. Projects focused in Governance, Blockchain solutions (smart contracts, dApps and tokens), IoT and Smart Cities solutions, "Traditional Business Processes" such as enterprise or governamental Processes. . .
Size: 3.81 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
raspi/scrapy-supermicro
Web crawler for Supermicro (supermicro.com) website
Language: Python - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
evdenis/git-workflow
Программы для работы с репозитарием AstraVer
Language: Perl - Size: 58.6 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
hacspec/hacspec-rust 📦
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
Language: Rust - Size: 10.5 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 2
liberapay/specs
Standards created by the Liberapay team
Language: HTML - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
coblo/cips
Content Blockchain Improvement Proposals
Language: CSS - Size: 281 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 2
ASCS-eV/EVES
ENVITED Ecosystem Specifications (EVES)
Size: 11.1 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
comparison-sorting/specification
:notebook_with_decorative_cover: Comparison sorting specification for JavaScript
Language: JavaScript - Size: 2.56 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
gematik/gemSpecPages
Proof of Concept of a web-based publication of gematik concepts, specifications, and product requirements of the telematics infrastructure in the German health care system.
Size: 9.73 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
