tlaplus specsDifferent TLA+ specifications, mostly for learning purposes
Stars: ✭ 25 (-92.71%)
pactumCreate API specifications and documentation using Python
Stars: ✭ 24 (-93%)
cafeobjDevelopment of the CafeOBJ interpreter
Stars: ✭ 25 (-92.71%)
hr-timeHigh Resolution Time
Stars: ✭ 43 (-87.46%)
frameworkLightweight, open source and magic-free framework for testing solidity smart contracts.
Stars: ✭ 36 (-89.5%)
xapi-profilesA set of documents addressing the structure of and supporting services for xAPI Profiles.
Stars: ✭ 47 (-86.3%)
tinyspecSimple syntax for describing REST APIs
Stars: ✭ 95 (-72.3%)
spec-patternSpecification design pattern for JavaScript and TypeScript with bonus classes
Stars: ✭ 43 (-87.46%)
ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-19.24%)
thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-90.09%)
Spring-Boot-efficient-search-APImedium.com/quick-code/spring-boot-how-to-design-efficient-search-rest-api-c3a678b693a0?source=friends_link&sk=a9344c624d6e61b0fa8f42a9e1fcfcbe
Stars: ✭ 63 (-81.63%)
MARCspec📄 MARCspec - A common MARC record path language
Stars: ✭ 21 (-93.88%)
openapiGitHub's official OpenAPI spec with Octokit extensions
Stars: ✭ 24 (-93%)
flyteidlSpecification of the IR for Flyte workflows and tasks. Also Interfaces for all backend services. https://docs.flyte.org/projects/flyteidl/en/stable/
Stars: ✭ 27 (-92.13%)
OpenautocompleteOpenAutoComplete -- CLI autocomplete specification
Stars: ✭ 249 (-27.41%)
falcon-apispecapispec plugin that generates OpenAPI specification (aka Swagger Docs) for Falcon web applications.
Stars: ✭ 44 (-87.17%)
SpecCloudEvents Specification
Stars: ✭ 3,025 (+781.92%)
jayhornStatic checker for Java
Stars: ✭ 54 (-84.26%)
test-suiteAn automated test of Solid specification technical compliance
Stars: ✭ 20 (-94.17%)
Vdom🎄 Virtual DOM for Python
Stars: ✭ 200 (-41.69%)
TsdocA doc comment standard for TypeScript
Stars: ✭ 3,785 (+1003.5%)
LongtasksLong Task API
Stars: ✭ 193 (-43.73%)
specSpezifikation für eine offene Schnittstelle für Ratsinformationssysteme
Stars: ✭ 56 (-83.67%)
Tilejson SpecJSON format for describing map tilesets.
Stars: ✭ 175 (-48.98%)
hcert-specElectronic Health Certificates Specification
Stars: ✭ 363 (+5.83%)
ntastNotion Abstract Syntax Tree specification.
Stars: ✭ 101 (-70.55%)
specsKontalk specifications and documentation
Stars: ✭ 20 (-94.17%)
openapiOpenAPI 3 Specification for golang
Stars: ✭ 18 (-94.75%)
JsrJava Specification Requests
Stars: ✭ 1,909 (+456.56%)
Quantized MeshSpecification for streaming massive terrain datasets for 3D visualization.
Stars: ✭ 139 (-59.48%)
effpiVerified message-passing programs in Dotty
Stars: ✭ 42 (-87.76%)
Amqp InteropPHP 7.1+. Promoting the interoperability of AMQPs. It is based on queue-interop
Stars: ✭ 124 (-63.85%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-21.28%)
L5 SwaggerOpenApi or Swagger integration to Laravel
Stars: ✭ 1,781 (+419.24%)
LinqSpecsA toolset for use the specification pattern in LINQ queries.
Stars: ✭ 161 (-53.06%)
SpecThe AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
Stars: ✭ 1,860 (+442.27%)
VERDICTDARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Stars: ✭ 20 (-94.17%)
PlatformCode Climate Engineering Data Platform
Stars: ✭ 104 (-69.68%)
QuerySpecificationAbstract package for building query specifications in your domain model.
Stars: ✭ 18 (-94.75%)
eggplantA behaviour driven development (BDD) library for Clojure. Simplicity is key.
Stars: ✭ 16 (-95.34%)
gender-renderTemplate-system and proof-of-concept for rendering gender-neutral text-, email- and RPG-text-templates with the correct pronouns of all people involved.
Stars: ✭ 21 (-93.88%)
EstreeThe ESTree Spec
Stars: ✭ 3,867 (+1027.41%)
Webrtc PcWebRTC 1.0 API
Stars: ✭ 323 (-5.83%)
biolink-modelSchema and generated objects for biolink data model and upper ontology
Stars: ✭ 83 (-75.8%)
shared-rowThis is an open data specification for describing the right-of-way (ROW) for street centerline networks. It is intended to establish a common set of attributes (schema) to describe how space is allocated along a streets right of way from sidewalk edge to sidewalk edge.
Stars: ✭ 16 (-95.34%)
beacon-APIsCollection of RESTful APIs provided by Ethereum Beacon nodes
Stars: ✭ 209 (-39.07%)