BlockingqueueTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (-82.03%)
asl-interpreterExample implementation of Arm's Architecture Specification Language (ASL)
Stars: ✭ 78 (-95.91%)
Design DocumentArchitectural specification and design of p2🐼
Stars: ✭ 56 (-97.07%)
Wtfjs🤪 A list of funny and tricky JavaScript examples
Stars: ✭ 24,594 (+1188.32%)
aoc-mgx-formatAge of Empires: The Conquerors - Savegame File Format
Stars: ✭ 56 (-97.07%)
NimoyA testing and specification framework for Python 3
Stars: ✭ 76 (-96.02%)
SpecsCOALA IP is a blockchain-ready, community-driven protocol for intellectual property licensing.
Stars: ✭ 98 (-94.87%)
biolink-modelSchema and generated objects for biolink data model and upper ontology
Stars: ✭ 83 (-95.65%)
Common FlowAn attempt to gather a sensible selection of the most common usage patterns of git into a single and concise specification.
Stars: ✭ 33 (-98.27%)
Specs2Software Specifications for Scala
Stars: ✭ 696 (-63.54%)
Entityframework.commontoolsExtensions, Auditing, Concurrency Checks, JSON properties and Transaction Logs for EntityFramework and EFCore
Stars: ✭ 82 (-95.7%)
XcodegenA Swift command line tool for generating your Xcode project
Stars: ✭ 5,032 (+163.59%)
Mqtt v5MQTT v5.0 specification draft Chinese translation. MQTT v5.0协议(草案)中文翻译。
Stars: ✭ 108 (-94.34%)
TsdocA doc comment standard for TypeScript
Stars: ✭ 3,785 (+98.27%)
Api Blueprint BoilerplateMinimalistic boilerplate to quick-start API specification using API Blueprint description language.
Stars: ✭ 71 (-96.28%)
hitchstoryType-safe, StrictYAML based BDD framework for python.
Stars: ✭ 24 (-98.74%)
SigmfThe Signal Metadata Format Specification
Stars: ✭ 120 (-93.71%)
specificationSoftware Bill of Material (SBOM) standard designed for use in application security contexts and supply chain component analysis
Stars: ✭ 129 (-93.24%)
Sdmx RestThis repository is used for maintaining the SDMX RESTful web services specification.
Stars: ✭ 50 (-97.38%)
compose-refCompose specification reference implementation
Stars: ✭ 69 (-96.39%)
ehn-dcc-valuesetsEU eHealthNetwork value sets as referenced by the EU Digital COVID Certificate (DCC) JSON Schema
Stars: ✭ 26 (-98.64%)
DesignEwasm Design Overview and Specification
Stars: ✭ 827 (-56.68%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (-63.38%)
box-openapiOpenAPI 3.0 Specification for the Box APIs
Stars: ✭ 71 (-96.28%)
Fantasy LandSpecification for interoperability of common algebraic structures in JavaScript
Stars: ✭ 9,209 (+382.4%)
Compose SpecThe Compose specification
Stars: ✭ 603 (-68.41%)
SpecThe AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
Stars: ✭ 1,860 (-2.57%)
OpencypherSpecification of the Cypher property graph query language
Stars: ✭ 534 (-72.03%)
Tulip ControlTemporal Logic Planning toolbox
Stars: ✭ 81 (-95.76%)
Queue InteropPromoting the interoperability of message queue objects.
Stars: ✭ 399 (-79.1%)
Amqp InteropPHP 7.1+. Promoting the interoperability of AMQPs. It is based on queue-interop
Stars: ✭ 124 (-93.5%)
EstreeThe ESTree Spec
Stars: ✭ 3,867 (+102.57%)
SpecData specification conformance and generation for Elixir
Stars: ✭ 72 (-96.23%)
Webrtc PcWebRTC 1.0 API
Stars: ✭ 323 (-83.08%)
PlatformCode Climate Engineering Data Platform
Stars: ✭ 104 (-94.55%)
Solid SpecThe Solid spec and architecture
Stars: ✭ 1,100 (-42.38%)
Quantized MeshSpecification for streaming massive terrain datasets for 3D visualization.
Stars: ✭ 139 (-92.72%)
ntastNotion Abstract Syntax Tree specification.
Stars: ✭ 101 (-94.71%)
3d TilesSpecification for streaming massive heterogeneous 3D geospatial datasets 🌎
Stars: ✭ 1,054 (-44.79%)
eggplantA behaviour driven development (BDD) library for Clojure. Simplicity is key.
Stars: ✭ 16 (-99.16%)
Webpub Manifest📜 A JSON based Web Publication Manifest format used at the core of the Readium project
Stars: ✭ 46 (-97.59%)
xapi-profilesA set of documents addressing the structure of and supporting services for xAPI Profiles.
Stars: ✭ 47 (-97.54%)
L5 SwaggerOpenApi or Swagger integration to Laravel
Stars: ✭ 1,781 (-6.71%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (-88.84%)
PvpHaskell Package Version Policy (PVP)
Stars: ✭ 24 (-98.74%)
specSpezifikation für eine offene Schnittstelle für Ratsinformationssysteme
Stars: ✭ 56 (-97.07%)
XdgGo implementation of the XDG Base Directory Specification and XDG user directories
Stars: ✭ 88 (-95.39%)
FluentFluent — planning, spec and documentation
Stars: ✭ 818 (-57.15%)
Spec[OLD!] RGB Protocol specifications for Bitcoin-based digital assets
Stars: ✭ 145 (-92.4%)
DocsDocumentation site
Stars: ✭ 128 (-93.29%)
Gfa SpecGraphical Fragment Assembly (GFA) Format Specification
Stars: ✭ 117 (-93.87%)
LanguageDesign of the Dart language
Stars: ✭ 1,269 (-33.53%)
Java AlmanacThe history and future of Java.
Stars: ✭ 710 (-62.81%)