GitHub topics: specifications
codespecs/daikon
Dynamic detection of likely invariants
Language: C - Size: 873 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 223 - Forks: 56
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language: Java - Size: 138 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 2,417 - Forks: 210
html-now/html-now.github.io
🌏 Web Platform features dashboard
Language: HTML - Size: 1.7 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 36 - Forks: 11
openactive/ns-beta
Beta namespace for OpenActive Vocabulary defined in the Modelling Opportunity Data Specification
Size: 161 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 3
triple-underscore/triple-underscore.github.io
Japanese translations of various web spec.
Language: HTML - Size: 252 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 161 - Forks: 8
wso2/api-specs
This repository contains API specifications (openAPI, GraphQL, etc.) for public APIs.
Size: 11.2 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 2
octokit/webhooks
machine-readable, always up-to-date GitHub Webhooks specifications
Language: TypeScript - Size: 11.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 241 - Forks: 41
clarin-eric/fcs-misc
Specification documents, examples and schema files
Language: Java - Size: 63.2 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 2
ipfs/specs
Technical specifications for the IPFS protocol stack
Language: HTML - Size: 14.3 MB - Last synced at: 3 days ago - Pushed at: 10 days ago - Stars: 1,192 - Forks: 234
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 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 19 - Forks: 1
w3c/spec-maintenance
Coordinated long-term maintenance of specs published by the W3C and related orgs
Size: 2.93 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
ircv3/ircv3.github.io
IRCv3 website
Language: HTML - Size: 2.94 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 92 - Forks: 89
Robotnik08/Dosato-docs
Official documentation for the dosato language
Language: JavaScript - Size: 296 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 7 - Forks: 0
astropenguin/pandas-dataclasses
:zap: pandas data creation by data classes
Language: Python - Size: 2.84 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 51 - Forks: 3
openactive/openactive.github.io
OpenActive Vocabulary defined in the Modelling Opportunity Data Specification
Language: CSS - Size: 255 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0
python-jsonschema/jsonschema-specifications
Support files exposing JSON from the JSON Schema specifications to Python
Language: Python - Size: 195 KB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 11 - Forks: 7
avtocod/specs
Specifications repository
Language: TypeScript - Size: 2.82 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 6 - Forks: 18
RobustiPy/robustipy
A place where we develop RobustiPy
Language: Jupyter Notebook - Size: 77.5 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 16 - Forks: 1
K-Phoen/rulerz
Powerful implementation of the Specification pattern in PHP
Language: PHP - Size: 685 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 873 - Forks: 98
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: 1 day ago - Pushed at: 2 months ago - Stars: 45 - Forks: 2
NilsMT/SAE
les SAE (projets) de BUT Informatique autres que des applications
Language: Jupyter Notebook - Size: 15.9 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
Pawe-D-browski/LapLoot
Automatically generate sale offers for your devices in seconds.
Language: JavaScript - Size: 7.83 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
HyaenaTechnologies/specification
Documentation and Specifications
Size: 236 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 1
weechat/specs.weechat.org
WeeChat specifications.
Size: 266 KB - Last synced at: 10 days ago - Pushed at: 15 days ago - Stars: 5 - Forks: 3
PrestaShop/prestashop-specs
Project specifications for PrestaShop's Core features and native modules
Language: HTML - Size: 31.9 MB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 34 - Forks: 26
witnet/WIPs
Witnet Improvement Proposals
Size: 379 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 9 - Forks: 10
ASCS-eV/EVES
ENVITED Ecosystem Specifications (EVES)
Size: 11.1 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
zcash/zips
Zcash Improvement Proposals
Language: HTML - Size: 425 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 277 - Forks: 160
BioContainers/specs
BioContainers specifications
Size: 479 KB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 51 - Forks: 12
WebKit/standards-positions
WebKit's positions on emerging web specifications
Language: Python - Size: 905 KB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 273 - Forks: 27
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Language: Haskell - Size: 9.85 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 2
hacspec/hacspec 📦
Please see https://github.com/hacspec/hax
Language: Coq - Size: 131 MB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 243 - Forks: 42
comparison-sorting/specification
:notebook_with_decorative_cover: Comparison sorting specification for JavaScript
Language: JavaScript - Size: 3.34 MB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
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: 19 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 3
quinnandrews/spring-data-specification-builder
Reduces the overhead of composing and maintaining Specifications. Enhances code legibility with a fluent API, makes conditional query building easy, and supports query optimization for fetching associated Entities eagerly.
Language: Java - Size: 77.1 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ExplodingBottle/sym2map
Debug file conversion tool for converting SYM files to MAP files
Language: C++ - Size: 24.4 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
meilisearch/mainspector
Main specification inspector
Language: JavaScript - Size: 38.1 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1
astropenguin/xarray-dataclasses
:zap: xarray data creation by data classes
Language: Python - Size: 3.4 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 77 - Forks: 8
adamdehaven/specify
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
Size: 911 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 5
w3c/mdn-spec-links
MDN Spec Links – Linking specs to MDN and browser-support data
Language: JSON - Size: 56.2 MB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 22 - Forks: 17
wbcsd/pact-openapi
The OpenAPI schema definitions for the PACT Network
Language: Python - Size: 168 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
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: 19 days ago - Pushed at: over 2 years ago - Stars: 37 - Forks: 2
astropenguin/dataspecs
Data specifications by data classes
Language: Python - Size: 1.67 MB - Last synced at: 8 days ago - Pushed at: 26 days ago - Stars: 3 - Forks: 0
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: 22 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 2
w3c-cg/solid
W3C Solid Community Group
Size: 168 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 2 - Forks: 5
vjik/specification
PHP implementation of "Specification" pattern
Language: PHP - Size: 13.7 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 5 - Forks: 0
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: 9 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1
Helios-Starling/protocol
Specifications and documentation about the Helios-Starling protocol
Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
techspecs/techspecs-api
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
Size: 10.7 KB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 4
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: almost 4 years ago - Stars: 7 - Forks: 3
ircv3/ircv3-specifications
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
Size: 573 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 788 - Forks: 80
service-mesh-performance/service-mesh-performance
Standardizing Cloud Native Value Measurement
Language: Makefile - Size: 30.9 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 296 - Forks: 155
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: 7 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0
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: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 3
ChewKeanHo/Hestia
[MIRROR] Main engineering specifications for constructing the super libraries.
Language: Rich Text Format - Size: 2.14 MB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
erlwes/Get-LenovoInfo
Get product- and warranty information of Lenovo PCs
Language: PowerShell - Size: 160 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 7 - Forks: 2
iscc/iscc-ieps
ISCC - Enhancement Proposals
Language: CSS - Size: 2.34 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0
UthdenTroll/upythonmcuinfo
A simple script to check the available hardware and pin info of a board running Micropython. NA for anything that the information can't be found or is unavailable.
Language: Python - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
ASCS-eV/.github
Public GitHub organization profile for the Automotive Solution Center for Simulation e.V.
Size: 6.84 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
4-proxy/SpecificDocumentation
🗃A set of documents that can be used in my repositories/projects.
Size: 4.45 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
lingxyz/standard
:traffic_light: 技术团队开发规范。Code standard for development team.
Language: CSS - Size: 1.21 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 34 - Forks: 27
OmicsDI/specifications
Description about the resource, file formats, etc
Size: 42.3 MB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 5
satyarat/dsot-documents
Technical documentation repo for Decentralized Source of Truth (DSoT)
Size: 34.2 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
vip32/Naos
A mildly opiniated modern cloud service architecture blueprint + reference implementation
Language: C# - Size: 6.35 MB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 3
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: 12 days ago - Pushed at: 12 months ago - Stars: 33 - Forks: 3
openactive-archive/w3c-cg-example-data 📦
ARCHIVED: Example data used to inform development and discussion of the OpenActive specifications. These were referenced in some early discussions and issues but not the main docs (and don't need to be). Mostly of historical interest.
Language: Ruby - Size: 552 KB - Last synced at: 5 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
likecoin/iscn-specs
International Standard Content Number - decentralized content registry
Size: 691 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 9
licht8/system-specifications
An application written in C++ that provides data about the processor, video card, RAM and hard drive
Language: C++ - Size: 166 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
aergistal/il2
IL-2: Sturmovik Great Battles: Aircraft, Tanks & Other Vehicles Specifications
Size: 10.6 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 12 - Forks: 1
liberapay/specs
Standards created by the Liberapay team
Language: HTML - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
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.
Language: HTML - Size: 9.73 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Texi97/Menu-Maker-by-Qwenta
Planification du développement d'un site permettant aux restaurateurs d’afficher et de mettre en page leurs menus facilement, en quelques clics.
Size: 18.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
server-state/specs
Specifications for the server-state project's core aspects
Language: HTML - Size: 420 KB - Last synced at: 11 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
meilisearch/devspector 📦
Develop specification inspector
Language: JavaScript - Size: 9.05 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
netsatan/specifipy
Auto generating UML code diagrams for Python and Java
Language: Python - Size: 1.61 MB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
kkrull/javaspec
Spec-style testing for Java
Language: Java - Size: 1.69 MB - Last synced at: 9 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1
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: 12 months ago - Pushed at: 12 months ago - Stars: 17 - Forks: 4
fexed/SecureDataContainer 📦
Progetto intermedio 1 di Programmazione 2 del Corso di Laurea in Informatica dell'Università di Pisa
Language: Java - Size: 161 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
evdenis/git-workflow
Программы для работы с репозитарием AstraVer
Language: Perl - Size: 58.6 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
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
Crab-Wave/ora-specs
📃 Book of specifications for the project ORA
Language: TeX - Size: 7.39 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
compspec/spec
Composition and Compatibility Specifications
Size: 91.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
nocapscripts/SpecThor
Computer Specifications Program
Language: Batchfile - Size: 285 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
azubieta/xdg-utils-cxx
Implementation of the FreeDesktop specifications to be used in c++ projects
Language: C++ - Size: 127 KB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 6
p-org/PSharp 📦
A framework for rapid development of reliable asynchronous software.
Language: C# - Size: 47.5 MB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 391 - Forks: 38
cloudposse-archives/codefresh 📦
Catalog of reusable Codefresh pipelines, pipeline specs, and pipeline shared steps.
Language: Makefile - Size: 146 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 3
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
edu-python-course/blog-spec
Specification for the blog training project
Language: Mermaid - Size: 77.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
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: about 2 months ago - Pushed at: over 9 years ago - Stars: 13 - Forks: 0
Evan-Lacy/MESS
The Math Emporium Student Scheduler (MESS) is the senior year capstone project that is a server-side database driven website created for scheduling Student Assistants for the Ball State Math Emporium. For more information, check out the README.
Language: PHP - Size: 953 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
Antanidoss/Antanidoss.Specification
These are combined specifications
Language: C# - Size: 38.1 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
BssMsi/mobile-specs-webscraper
WebScraper built on Scrapy to scrape all the brands, models and their specifications from gsmarena.com
Language: Jupyter Notebook - Size: 3.34 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
sparvu/safesecure
How to build better software
Size: 3.63 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - 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
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
lErrorl404l/S.S.P.C
Gather system specs to use in steam startup parameters
Language: PowerShell - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
kouweizhong/LinqSpecs Fork of navozenko/LinqSpecs
LinqSpecs is a framework that will help you to create specifications for LINQ queries.
Language: C# - Size: 1.61 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
jglrxavpok/SpirvSpecToJson Fork of Philip-Trettner/SpirvSpecToJson
SPIR-V HTML Specification to JSON converter
Language: HTML - Size: 400 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
Byndyusoft/Byndyusoft.Data.Relational.Specifications
Language: C# - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
openactive/open-booking-api
Repository for the Open Booking API specification
Language: HTML - Size: 4.35 MB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 3