47,133 repositories indexed
73–96 of 152 · Most stars
Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.
OpenCRUD is a GraphQL CRUD API specification for databases
Windows registry file format specification
Sofia-SIP is an open-source SIP User-Agent library, compliant with the IETF RFC3261 specification.
This repository hosts the specification for Scene Layers which are containers for arbitrarily large amounts of geographic data. The delivery and persistence model for Scene Layers, referred to as Indexed 3d Scene Layer (I3S) and Scene Layer Package (SLPK) respectively, are specified.
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
EventStorming workshop, this is a hands-on workshop. Contains such topics: DDD, Event storming, Specification by example. Including the AWS product : Serverless Lambda , DynamoDB, Fargate, CloudWatch.
F# RISC-V Instruction Set formal specification
TranslatedA JavaScript module loader based on AMD. So far, the best implementation in its understanding of AMD.
OpenMessaging Specification
Firely and Incendi's open source FHIR server
Random testing library for C#
Executable Specifications for .Net
Schema and generated objects for biolink data model and upper ontology
Photon is a Java implementation of the Interoperable Master Format (IMF) standard. IMF is a SMPTE standard whose core constraints are defined in the specification st2067-2:2013
#️⃣ PHP Slack Client based on the official OpenAPI specification
🌟 A set of enterprise-class Vue UI components, following the Ant Design specification.
A modern testing and behavioural specification framework for Java 8
Support for Bluetooth Beacons for the Universal Windows Platform (Windows 10), including the Eddystone specification.
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
:ets.fun2ms for Elixir, translate functions to match specifications
Node.js implementation of the Web Bluetooth Specification
An NMOS (Networked Media Open Specifications) Registry and Node in C++ (IS-04, IS-05)
CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.