swagger-api / swagger-core

Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

spockframework / spock

The Enterprise-ready testing and specification framework.

microcks / microcks

The open source, cloud native tool for API Mocking and Testing. Microcks is a Cloud Native Computing Foundation incubating project 🚀

standard-webhooks / standard-webhooks

The Standard Webhooks specification

resteasy / resteasy

An Implementation of the Jakarta RESTful Web Services Specification

openlakestream / ursa

Ursa: a storage engine that implements Lakestream, an open API and specification for stream storage on object storage.