Tutorial "Weeks of debugging can save you hours of TLA+". Each git comm...
Promoting the interoperability of message queue objects.
WebRTC 1.0 API
The Filecoin protocol specification
High-confidence browser testing
TLA+ language support for Visual Studio Code
The Signal Metadata Format Specification
OWASP CycloneDX is a full-stack Bill of Materials (BOM) standard that pr...
OpenAPI Spec Validator is a CLI, pre-commit hook and python package that...
This repository hosts the specification for Scene Layers which are conta...
Describes the pact format and verification specifications
OpenMessaging Specification
Activity Streams 2.0
OpenAutoComplete -- CLI autocomplete specification
The secure data format for a modern world