GitHub topics: specification
Five-Squared-Interactive/VEML
The Virtual Environment Markup Language (VEML)
Language: Visual Basic .NET - Size: 49.8 KB - Last synced at: 14 minutes ago - Pushed at: about 1 hour ago - Stars: 0 - Forks: 1
box/box-openapi
OpenAPI 3.0 Specification for the Box APIs
Size: 67 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 96 - Forks: 87
readium/annotations
Model and JSON serialization of annotations associated with EPUB and Web Publications
Language: HTML - Size: 48.8 KB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 9 - Forks: 1
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language: TypeScript - Size: 65.7 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 946 - Forks: 74
ResearchObject/ro-crate
Research Object Crate
Language: Python - Size: 19.7 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 106 - Forks: 40
gematik/spec-ISiK-Basismodul
The Information Technology Systems in Hospitals (ISiK – Informationstechnische Systeme in Krankenhäusern) "Basic Module" enables use-case-independent functionalities for the communication and validation of data within hospital environments, by providing FHIR resources, examples and an implementation guide.
Language: GLSL - Size: 133 MB - Last synced at: about 17 hours ago - Pushed at: about 17 hours ago - Stars: 10 - Forks: 1
etorreborre/specs2
Software Specifications for Scala
Language: Scala - Size: 162 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 734 - Forks: 215
QubitPi/graphql-spec Fork of graphql/graphql-spec
graphql.qubitpi.org 📚 My personal study notes on GraphQL
Language: Shell - Size: 3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
CesiumGS/3d-tiles
Specification for streaming massive heterogeneous 3D geospatial datasets :earth_americas:
Language: Batchfile - Size: 163 MB - Last synced at: about 22 hours ago - Pushed at: 24 days ago - Stars: 2,280 - Forks: 478
dita-lang/dita-lang.org
dita-lang.org website
Language: HTML - Size: 27.7 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
w3c/png
Maintenance of the PNG specification
Language: HTML - Size: 10.7 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 58 - Forks: 14
WebAssembly/spec
WebAssembly specification, reference interpreter, and test suite.
Language: WebAssembly - Size: 266 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3,252 - Forks: 475
asyncapi/spec
The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
Language: JavaScript - Size: 2.78 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 4,675 - Forks: 308
Calpano/connected-json
Connected JSON Specification. A data-first JSON Format for exchanging connected data (graphs, networks). The successor to GraphML.
Language: Handlebars - Size: 205 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
tulip-control/tulip-control
Temporal Logic Planning toolbox
Language: Python - Size: 9.52 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 119 - Forks: 36
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
Language: TypeScript - Size: 22.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 382 - Forks: 42
niemopen/niem-naming-design-rules
NIEM Naming and Design Rules Specification
Language: HTML - Size: 18 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 5 - Forks: 4
zwang271/WEST
Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.
Language: Python - Size: 184 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 0
GS90/addFC
Additional tools for FreeCAD
Language: Python - Size: 30.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 18 - Forks: 4
solid/specification
Solid Technical Reports
Language: HTML - Size: 2.99 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 519 - Forks: 57
webx-plus/WebX-Specification
Specifications for everything WebX.
Size: 218 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 1
gematik/schuleingangsuntersuchung
Questionnaires and Profiles for the German Schuleingangsuntersuchung
Language: GLSL - Size: 6.41 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 2
w3c/echidna
New publication workflow at W3C — main component
Language: HTML - Size: 4.51 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 38 - Forks: 33
tc39/proposals
Tracking ECMAScript Proposals
Size: 1.28 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 18,774 - Forks: 734
tryAGI/Leonardo
Generated C# SDK based on Leonardo AI OpenAPI specification
Language: C# - Size: 824 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 3
syncthing/docs
Documentation site
Language: Python - Size: 10.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 267 - Forks: 544
progval/irctest
Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)
Language: Python - Size: 1.15 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 42 - Forks: 13
yasenstar/ArchiMate_SABSA
Learn & Practice of Modeling SABSA with the ArchiMate Specification
Size: 58.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 2
denysdovhan/wtfjs
🤪 A list of funny and tricky JavaScript examples
Language: JavaScript - Size: 1.43 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 36,509 - Forks: 2,610
marchof/java-almanac
The history and future of Java.
Language: HTML - Size: 209 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,096 - Forks: 73
dart-lang/language
Design of the Dart language
Language: TeX - Size: 5.39 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,782 - Forks: 216
yonaskolb/XcodeGen
A Swift command line tool for generating your Xcode project
Language: Swift - Size: 11.3 MB - Last synced at: 6 days ago - Pushed at: 20 days ago - Stars: 7,420 - Forks: 836
towardsthecloud/vscode-cloudformation-snippets
This extension adds snippets for all the AWS CloudFormation resources into Visual Studio Code.
Language: Python - Size: 68.7 MB - Last synced at: 1 day ago - Pushed at: 6 days ago - Stars: 28 - Forks: 9
open-feature/spec
OpenFeature specification
Language: Python - Size: 62 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 882 - Forks: 44
ucan-wg/spec
User Controlled Authorization Network (UCAN) Specification
Size: 687 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 248 - Forks: 20
mhanberg/schematic
📐 schematic
Language: Elixir - Size: 115 KB - Last synced at: 1 day ago - Pushed at: 6 days ago - Stars: 91 - Forks: 6
agntcy/identity-spec
AGNTCY Identity allows to onboard, create and verify identities for Agents, Model Context Protocol (MCP) Servers and Multi-Agent Systems (MASs).
Language: MDX - Size: 13.4 MB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 13 - Forks: 0
compose-spec/compose-spec
The Compose specification
Language: Dockerfile - Size: 832 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 2,461 - Forks: 770
pcanelas/rospec
A Domain Specification Language for ROS-based Software
Language: Python - Size: 125 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
gematik/api-popp
APIs for Proof of Patient Presence (PoPP)
Size: 84 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 0
microsoft/tsdoc
A doc comment standard for TypeScript
Language: TypeScript - Size: 7.1 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 4,843 - Forks: 138
KrishnaPG/json-rpc-v3.0
JSON-RPC 3.0 with support for streaming requests and responses (making it easy to use LLM streaming RPC with Websockets for building AI Agents)
Size: 24.4 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
skarllot/Expressions
Provides base for specifications to a DDD model
Language: C# - Size: 1.98 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5 - Forks: 2
jakubsob/cucumber
Behavior-Driven Development and Executable Specifications for R
Language: R - Size: 8.42 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 17 - Forks: 1
Raouf25/Spring-Boot-efficient-search-API
Language: Java - Size: 280 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 79 - Forks: 30
decentralized-identity/cawg-identity-assertion
Creator Assertions Working Group :: Identity Assertion
Size: 555 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 6 - Forks: 10
Linaro/virtio-msg-spec Fork of oasis-tcs/virtio-spec
Development of virtio-msg transport spec for submission to the OASIS VIRTIO (Virtual I/O) Specification
Language: TeX - Size: 1.23 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 2
ocaml-gospel/ortac
Runtime assertion checking based on Gospel specifications
Language: OCaml - Size: 2.22 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 46 - Forks: 10
gematik/spec-t20r
This repository holds the interface specification for Zero Trust componentes to be used or referenced in eHealth applications moving from "TI 1.0" towards "TI 2.0".
Language: Python - Size: 25.7 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 3
synaptiai/prompt-decorators
A standardized framework for enhancing how LLMs process and respond to prompts through composable decorators, featuring an official open standard specification and Python reference implementation with MCP server integration.
Language: Python - Size: 10.2 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 26 - Forks: 9
gematik/api-erp
gematik provides a comprehensive overview of the e-prescription interfaces. This API documentation serves as a supplement to gematik's standard regulatory documents and details the e-prescription profiles based on the FHIR standard.
Language: HTML - Size: 178 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 100 - Forks: 23
braze-community/braze-specification
📖 Postman collection and OpenAPI spec for Braze API.
Language: TypeScript - Size: 956 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0
YINI-lang/YINI-spec
YINI (Yet another INI): YINI is a lightweight, human-friendly configuration format — simpler than YAML, and more expressive than INI. ➡️ Read the full specification.
Language: ANTLR - Size: 2.3 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 7 - Forks: 0
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
Language: Haskell - Size: 23.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 99 - Forks: 10
romshark/tik
Technical specification document for "Textual Internationalization Key" and reference implementation in Go.
Language: Go - Size: 162 KB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 12 - Forks: 0
wbcsd/data-exchange-protocol
The fundamental technical specifications of the PACT Network
Language: Bikeshed - Size: 20 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 22 - Forks: 13
bartoszlenar/Validot 📦
Validot is a performance-first, compact library for advanced model validation. Using a simple declarative fluent interface, it efficiently handles classes, structs, nested members, collections, nullables, plus any relation or combination of them. It also supports translations, custom logic extensions with tests, and DI containers.
Language: C# - Size: 1.32 MB - Last synced at: about 9 hours ago - Pushed at: about 1 month ago - Stars: 336 - Forks: 24
CROSSINGTUD/CryptSL
Language: Java - Size: 8.28 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 6 - Forks: 5
nix-community/fetchTree-spec
A thorough specification and conformance suite for builtins.fetchTree and lock file items [maintainer=@roberth,@flokli,@lf-]
Size: 1.95 KB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 16 - Forks: 0
RogueScholar/ircv3.github.io Fork of ircv3/ircv3.github.io
IRCv3 website
Language: HTML - Size: 2.98 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
bowtie-json-schema/bowtie
JSON Schema in every programming language
Language: Python - Size: 9.59 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 59 - Forks: 47
NeuroJSON/jdata
JData: a language-independent data annotation for portable storage and interchange
Size: 1.01 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 17 - Forks: 9
ome/ome-model
OME model (specification, code generator, implementation)
Language: XSLT - Size: 16.9 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 15 - Forks: 28
modelpack/model-spec
Cloud Native Artifacial Intelligence Model Format Specification
Language: Go - Size: 2.51 MB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 63 - Forks: 12
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: 14.4 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 19 - Forks: 1
gematik/fhir-profiles-erp
This Repo contains the fsh files to the published E-Rezept Worklow files on https://simplifier.net/erezept-workflow and a script to validate them.
Language: GLSL - Size: 2.37 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 0
w3c/webrtc-pc
WebRTC 1.0 API
Language: HTML - Size: 30.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 464 - Forks: 117
substrait-io/substrait
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
Language: Python - Size: 1.27 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1,332 - Forks: 171
alibaba/f2e-spec
Alibaba Front-end Coding Guidelines and Relevant Tools
Language: TypeScript - Size: 1.97 MB - Last synced at: 8 days ago - Pushed at: 19 days ago - Stars: 950 - Forks: 202
ldv-klever/klever
Read-only mirror of the Klever Git repository
Language: Python - Size: 162 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 22 - Forks: 14
tryAGI/OpenAI
C# SDK based on official OpenAI OpenAPI specification
Language: C# - Size: 14.2 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 25 - Forks: 6
bkuhlmann/spek
An enhanced gem specification wrapper.
Language: Ruby - Size: 271 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
slack-ruby/slack-api-ref
This is a maintained, machine-readable version of the Slack API Docs.
Language: Ruby - Size: 2.66 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 43 - Forks: 14
jupyter-book/myst-spec
MyST is designed to create publication-quality, computational documents written entirely in Markdown.
Language: TypeScript - Size: 3.4 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 29 - Forks: 7
bcgov/nr-pies
An easy as pie way to exchange standardized permitting information.
Language: TypeScript - Size: 4.88 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
jonasbn/yak
Overall repository for the Yak project
Language: SCSS - Size: 174 KB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
secretflow/spec
SecretFlow Open Specification is a protocol stack designed for privacy-preserving applications.
Language: Python - Size: 601 KB - Last synced at: about 11 hours ago - Pushed at: 11 days ago - Stars: 2 - Forks: 2
OpenSLO/OpenSLO
Open specification for defining and expressing service level objectives (SLO)
Language: Makefile - Size: 1.13 MB - Last synced at: 5 days ago - Pushed at: 10 days ago - Stars: 1,411 - Forks: 63
wtx-labs/woocommerce-api-openapi-specification
The WooCommerce REST API specification in OpenAPI 3.0 format
Size: 615 KB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 0
fantasyland/fantasy-land
Specification for interoperability of common algebraic structures in JavaScript
Language: JavaScript - Size: 572 KB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 10,193 - Forks: 380
cloudevents/spec
CloudEvents Specification
Language: Python - Size: 30.5 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 5,414 - Forks: 593
heap-data-structure/specification
:mount_fuji: Heap specification for JavaScript
Language: JavaScript - Size: 5.63 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
wtx-labs/woocommerce-api-swagger-specification
The WooCommerce REST API specification in Swagger 2.0 format
Size: 188 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 0
w3c/activitystreams
Activity Streams 2.0
Language: HTML - Size: 3.02 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 291 - Forks: 62
queue-interop/queue-interop
Promoting the interoperability of message queue objects.
Language: PHP - Size: 95.7 KB - Last synced at: 11 days ago - Pushed at: 4 months ago - Stars: 474 - Forks: 21
CROSSINGTUD/Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
Language: Java - Size: 730 KB - Last synced at: 9 days ago - Pushed at: 13 days ago - Stars: 16 - Forks: 12
erbsland-dev/erbsland-lang-config-doc
The Erbsland Configuration Language (ELCL) is a human-centric configuration format designed with a focus on clarity and ease of use. ELCL simplifies software configuration, making it intuitive for both developers and end-users.
Language: Python - Size: 6.6 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0
gematik/spec-VSDM2
This repo holds FHIR-Profiles, sample Resources and OpenAPI specification for the VSDM 2 interface.
Language: GLSL - Size: 5.92 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 6 - Forks: 4
hvivox/srealizacao
API Rest em Java | Finalidade: auxiliar na produtividades de tarefas pessoais de produção que levarão a atingir seus objetivos
Language: Java - Size: 348 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 0
AtomGraph/RDF-POST
RDF/POST is a compact syntax for serialising an RDF graph inside a classic HTML forms
Size: 13.7 KB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 3 - Forks: 0
CycloneDX/specification
OWASP CycloneDX is a full-stack Bill of Materials (BOM) standard that provides advanced supply chain capabilities for cyber risk reduction. SBOM, SaaSBOM, HBOM, AI/ML-BOM, CBOM, OBOM, MBOM, VDR, and VEX
Language: XSLT - Size: 2.7 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 401 - Forks: 68
skedgo/tripgo-api
Documentation, sample code and issue tracking for the TripGo API
Language: CSS - Size: 23.5 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 4 - Forks: 4
CesiumGS/quantized-mesh
Specification for streaming massive terrain datasets for 3D visualization.
Size: 24.4 KB - Last synced at: about 4 hours ago - Pushed at: almost 4 years ago - Stars: 260 - Forks: 45
plantbreeding/BrAPI
Repository for version control of the BrAPI specifications
Language: Python - Size: 15.7 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 60 - Forks: 33
enspirit/webspicy
A technology agnostic specification and test framework that yields better coverage for less testing effort.
Language: Ruby - Size: 520 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 47 - Forks: 2
fiseni/QuerySpecification
A .NET library for building query specifications.
Language: C# - Size: 2.66 MB - Last synced at: 5 days ago - Pushed at: 15 days ago - Stars: 57 - Forks: 7
ethereum/beacon-APIs
Collection of RESTful APIs provided by Ethereum Beacon nodes
Language: HTML - Size: 14.6 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 357 - Forks: 186
center-key/server-listening
🧪 Simple promise to wait for server ready inside a mocha specification
Language: TypeScript - Size: 165 KB - Last synced at: 1 day ago - Pushed at: 16 days ago - Stars: 2 - Forks: 1
KentarouTakeda/laravel-openapi-validator
Request and response validators based on the OpenAPI Specification.
Language: PHP - Size: 240 KB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 8 - Forks: 0
yosugi/intent-script
A YAML-based DSL to describe what you want — declarative, LLM-friendly, non-Turing-complete.
Size: 41 KB - Last synced at: 5 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
