All Projects → Blockingqueue → Similar Projects or Alternatives

157 Open source projects that are alternatives of or similar to Blockingqueue

dgc-business-rules
eHealth collaboration space business rules
Stars: ✭ 23 (-93.29%)
Mutual labels:  specification
tlaplus specs
Different TLA+ specifications, mostly for learning purposes
Stars: ✭ 25 (-92.71%)
Mutual labels:  model-checking
performance-timeline
Performance Timeline
Stars: ✭ 102 (-70.26%)
Mutual labels:  specification
pactum
Create API specifications and documentation using Python
Stars: ✭ 24 (-93%)
Mutual labels:  specification
ehn-dcc-schema
Schema for the ehn DCC payload
Stars: ✭ 151 (-55.98%)
Mutual labels:  specification
specifications
Track specification elaboration.
Stars: ✭ 17 (-95.04%)
Mutual labels:  specification
cafeobj
Development of the CafeOBJ interpreter
Stars: ✭ 25 (-92.71%)
Mutual labels:  specification
hr-time
High Resolution Time
Stars: ✭ 43 (-87.46%)
Mutual labels:  specification
framework
Lightweight, open source and magic-free framework for testing solidity smart contracts.
Stars: ✭ 36 (-89.5%)
Mutual labels:  specification
xapi-profiles
A set of documents addressing the structure of and supporting services for xAPI Profiles.
Stars: ✭ 47 (-86.3%)
Mutual labels:  specification
tinyspec
Simple syntax for describing REST APIs
Stars: ✭ 95 (-72.3%)
Mutual labels:  specification
Deeplearning.ai-GAN-Specialization-Generative-Adversarial-Networks
This repository contains my full work and notes on Deeplearning.ai GAN Specialization (Generative Adversarial Networks)
Stars: ✭ 59 (-82.8%)
Mutual labels:  specification
spec-pattern
Specification design pattern for JavaScript and TypeScript with bonus classes
Stars: ✭ 43 (-87.46%)
Mutual labels:  specification
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-19.24%)
Mutual labels:  model-checking
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-90.09%)
Mutual labels:  model-checking
Spring-Boot-efficient-search-API
medium.com/quick-code/spring-boot-how-to-design-efficient-search-rest-api-c3a678b693a0?source=friends_link&sk=a9344c624d6e61b0fa8f42a9e1fcfcbe
Stars: ✭ 63 (-81.63%)
Mutual labels:  specification
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-90.09%)
Mutual labels:  model-checking
MARCspec
📄 MARCspec - A common MARC record path language
Stars: ✭ 21 (-93.88%)
Mutual labels:  specification
openapi
GitHub's official OpenAPI spec with Octokit extensions
Stars: ✭ 24 (-93%)
Mutual labels:  specification
flyteidl
Specification 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%)
Mutual labels:  specification
matroska-specification
Matroska specification.
Stars: ✭ 98 (-71.43%)
Mutual labels:  specification
Openautocomplete
OpenAutoComplete -- CLI autocomplete specification
Stars: ✭ 249 (-27.41%)
Mutual labels:  specification
falcon-apispec
apispec plugin that generates OpenAPI specification (aka Swagger Docs) for Falcon web applications.
Stars: ✭ 44 (-87.17%)
Mutual labels:  specification
Spec
CloudEvents Specification
Stars: ✭ 3,025 (+781.92%)
Mutual labels:  specification
jayhorn
Static checker for Java
Stars: ✭ 54 (-84.26%)
Mutual labels:  model-checking
Specification
The Solid specifications
Stars: ✭ 202 (-41.11%)
Mutual labels:  specification
test-suite
An automated test of Solid specification technical compliance
Stars: ✭ 20 (-94.17%)
Mutual labels:  specification
Vdom
🎄 Virtual DOM for Python
Stars: ✭ 200 (-41.69%)
Mutual labels:  specification
Tsdoc
A doc comment standard for TypeScript
Stars: ✭ 3,785 (+1003.5%)
Mutual labels:  specification
Longtasks
Long Task API
Stars: ✭ 193 (-43.73%)
Mutual labels:  specification
Open-Water-Rate-Specification
A machine-readable format for storing and sharing water rate structures.
Stars: ✭ 18 (-94.75%)
Mutual labels:  specification
Activitystreams
Activity Streams 2.0
Stars: ✭ 185 (-46.06%)
Mutual labels:  specification
spec
Spezifikation für eine offene Schnittstelle für Ratsinformationssysteme
Stars: ✭ 56 (-83.67%)
Mutual labels:  specification
Tilejson Spec
JSON format for describing map tilesets.
Stars: ✭ 175 (-48.98%)
Mutual labels:  specification
hcert-spec
Electronic Health Certificates Specification
Stars: ✭ 363 (+5.83%)
Mutual labels:  specification
Openapi Spec Validator
OpenAPI Spec validator
Stars: ✭ 161 (-53.06%)
Mutual labels:  specification
ntast
Notion Abstract Syntax Tree specification.
Stars: ✭ 101 (-70.55%)
Mutual labels:  specification
specs
Kontalk specifications and documentation
Stars: ✭ 20 (-94.17%)
Mutual labels:  specification
openapi
OpenAPI 3 Specification for golang
Stars: ✭ 18 (-94.75%)
Mutual labels:  specification
Jsr
Java Specification Requests
Stars: ✭ 1,909 (+456.56%)
Mutual labels:  specification
openmessaging.github.io
OpenMessaging homepage
Stars: ✭ 12 (-96.5%)
Mutual labels:  specification
Quantized Mesh
Specification for streaming massive terrain datasets for 3D visualization.
Stars: ✭ 139 (-59.48%)
Mutual labels:  specification
effpi
Verified message-passing programs in Dotty
Stars: ✭ 42 (-87.76%)
Mutual labels:  model-checking
Amqp Interop
PHP 7.1+. Promoting the interoperability of AMQPs. It is based on queue-interop
Stars: ✭ 124 (-63.85%)
Mutual labels:  specification
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (-21.28%)
Mutual labels:  model-checking
L5 Swagger
OpenApi or Swagger integration to Laravel
Stars: ✭ 1,781 (+419.24%)
Mutual labels:  specification
LinqSpecs
A toolset for use the specification pattern in LINQ queries.
Stars: ✭ 161 (-53.06%)
Mutual labels:  specification
Spec
The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
Stars: ✭ 1,860 (+442.27%)
Mutual labels:  specification
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Stars: ✭ 20 (-94.17%)
Mutual labels:  model-checking
Platform
Code Climate Engineering Data Platform
Stars: ✭ 104 (-69.68%)
Mutual labels:  specification
QuerySpecification
Abstract package for building query specifications in your domain model.
Stars: ✭ 18 (-94.75%)
Mutual labels:  specification
Web Access Control Spec
Web Access Control (WAC) specification (as used by the Solid project)
Stars: ✭ 93 (-72.89%)
Mutual labels:  specification
eggplant
A behaviour driven development (BDD) library for Clojure. Simplicity is key.
Stars: ✭ 16 (-95.34%)
Mutual labels:  specification
gender-render
Template-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%)
Mutual labels:  specification
Estree
The ESTree Spec
Stars: ✭ 3,867 (+1027.41%)
Mutual labels:  specification
Webrtc Pc
WebRTC 1.0 API
Stars: ✭ 323 (-5.83%)
Mutual labels:  specification
Conventionalcommits.org
The conventional commits specification
Stars: ✭ 3,552 (+935.57%)
Mutual labels:  specification
biolink-model
Schema and generated objects for biolink data model and upper ontology
Stars: ✭ 83 (-75.8%)
Mutual labels:  specification
shared-row
This 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%)
Mutual labels:  specification
beacon-APIs
Collection of RESTful APIs provided by Ethereum Beacon nodes
Stars: ✭ 209 (-39.07%)
Mutual labels:  specification
61-120 of 157 similar projects