cafeobjDevelopment of the CafeOBJ interpreter
Stars: ✭ 25 (+4.17%)
test-suiteAn automated test of Solid specification technical compliance
Stars: ✭ 20 (-16.67%)
biolink-modelSchema and generated objects for biolink data model and upper ontology
Stars: ✭ 83 (+245.83%)
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 (-33.33%)
LinqSpecsA toolset for use the specification pattern in LINQ queries.
Stars: ✭ 161 (+570.83%)
asl-interpreterExample implementation of Arm's Architecture Specification Language (ASL)
Stars: ✭ 78 (+225%)
ApiCenterA repository for all your API specifications
Stars: ✭ 26 (+8.33%)
BlockingqueueTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (+1329.17%)
hcert-specElectronic Health Certificates Specification
Stars: ✭ 363 (+1412.5%)
aoc-mgx-formatAge of Empires: The Conquerors - Savegame File Format
Stars: ✭ 56 (+133.33%)
Crypto-API-RulesThis repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
Stars: ✭ 16 (-33.33%)
frameworkLightweight, open source and magic-free framework for testing solidity smart contracts.
Stars: ✭ 36 (+50%)
hitchstoryType-safe, StrictYAML based BDD framework for python.
Stars: ✭ 24 (+0%)
XcodegenA Swift command line tool for generating your Xcode project
Stars: ✭ 5,032 (+20866.67%)
specificationSoftware Bill of Material (SBOM) standard designed for use in application security contexts and supply chain component analysis
Stars: ✭ 129 (+437.5%)
falcon-apispecapispec plugin that generates OpenAPI specification (aka Swagger Docs) for Falcon web applications.
Stars: ✭ 44 (+83.33%)
Specs2Software Specifications for Scala
Stars: ✭ 696 (+2800%)
compose-refCompose specification reference implementation
Stars: ✭ 69 (+187.5%)
specsKontalk specifications and documentation
Stars: ✭ 20 (-16.67%)
TsdocA doc comment standard for TypeScript
Stars: ✭ 3,785 (+15670.83%)
QuerySpecificationAbstract package for building query specifications in your domain model.
Stars: ✭ 18 (-25%)
ehn-dcc-valuesetsEU eHealthNetwork value sets as referenced by the EU Digital COVID Certificate (DCC) JSON Schema
Stars: ✭ 26 (+8.33%)
box-openapiOpenAPI 3.0 Specification for the Box APIs
Stars: ✭ 71 (+195.83%)
openapiOpenAPI 3 Specification for golang
Stars: ✭ 18 (-25%)
hr-timeHigh Resolution Time
Stars: ✭ 43 (+79.17%)
OpencypherSpecification of the Cypher property graph query language
Stars: ✭ 534 (+2125%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (+2812.5%)
ntastNotion Abstract Syntax Tree specification.
Stars: ✭ 101 (+320.83%)
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 (+162.5%)
Queue InteropPromoting the interoperability of message queue objects.
Stars: ✭ 399 (+1562.5%)
openapiGitHub's official OpenAPI spec with Octokit extensions
Stars: ✭ 24 (+0%)
eggplantA behaviour driven development (BDD) library for Clojure. Simplicity is key.
Stars: ✭ 16 (-33.33%)
cim-specThis repository hosts the specification for the Cartographic Information Model
Stars: ✭ 45 (+87.5%)
FluentFluent — planning, spec and documentation
Stars: ✭ 818 (+3308.33%)
es-abstractECMAScript spec abstract operations.
Stars: ✭ 86 (+258.33%)
EstreeThe ESTree Spec
Stars: ✭ 3,867 (+16012.5%)
SpecificationWorking towards a new TAP specification
Stars: ✭ 67 (+179.17%)
xapi-profilesA set of documents addressing the structure of and supporting services for xAPI Profiles.
Stars: ✭ 47 (+95.83%)
iqm-exmIQM & EXM model format specs, Blender exporter, and LÖVE loader.
Stars: ✭ 35 (+45.83%)
Compose SpecThe Compose specification
Stars: ✭ 603 (+2412.5%)
kekiriA .NET framework that supports writing low-ceremony BDD tests using Gherkin language
Stars: ✭ 19 (-20.83%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (+787.5%)
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 (-12.5%)
Webrtc PcWebRTC 1.0 API
Stars: ✭ 323 (+1245.83%)
specSpezifikation für eine offene Schnittstelle für Ratsinformationssysteme
Stars: ✭ 56 (+133.33%)
DesignEwasm Design Overview and Specification
Stars: ✭ 827 (+3345.83%)
Java AlmanacThe history and future of Java.
Stars: ✭ 710 (+2858.33%)
Wtfjs🤪 A list of funny and tricky JavaScript examples
Stars: ✭ 24,594 (+102375%)