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

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

The Git repository for the mCRL2 toolset.

Data formats for gamma-ray astronomy

Age of Empires: The Conquerors - Savegame File Format

Example implementation of Arm's Architecture Specification Language (ASL)

Reads a state transition system and performs property checking

Intrepyd Model Checker

ECMAScript spec abstract operations.

Working towards a new TAP specification

Repository for the Solid Data Interoperability Panel

Compose specification reference implementation

WebID-OIDC Authentication Spec v0.1.0

Type-safe, StrictYAML based BDD framework for python.

A repository for all your API specifications

EU eHealthNetwork value sets as referenced by the EU Digital COVID Certificate (DCC) JSON Schema

This repository hosts the specification for the Cartographic Information Model

Links to tools by subject

This document proposes a way of standardising the structure, language, and grammar used in security policies.

Kani Rust Verifier

Software Bill of Material (SBOM) standard designed for use in application security contexts and supply chain component analysis

IQM & EXM model format specs, Blender exporter, and LÖVE loader.

OpenAPI 3.0 Specification for the Box APIs

A symbolic model checker for Dynamic Epistemic Logic.

A .NET framework that supports writing low-ceremony BDD tests using Gherkin language

A multi-formalism, multi-solution model-checker centered on the language GAL

eHealth collaboration space business rules

Performance Timeline

Schema for the ehn DCC payload

Development of the CafeOBJ interpreter

A set of documents addressing the structure of and supporting services for xAPI Profiles.

This repository contains my full work and notes on Deeplearning.ai GAN Specialization (Generative Adversarial Networks)

Concuerror is a stateless model checking tool for Erlang programs.

medium.com/quick-code/spring-boot-how-to-design-efficient-search-rest-api-c3a678b693a0?source=friends_link&sk=a9344c624d6e61b0fa8f42a9e1fcfcbe

This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

Memory consistency modelling using Alloy

GitHub's official OpenAPI spec with Octokit extensions

Matroska specification.

apispec plugin that generates OpenAPI specification (aka Swagger Docs) for Falcon web applications.

Static checker for Java

An automated test of Solid specification technical compliance

A doc comment standard for TypeScript

A machine-readable format for storing and sharing water rate structures.

Spezifikation für eine offene Schnittstelle für Ratsinformationssysteme

Electronic Health Certificates Specification

Notion Abstract Syntax Tree specification.

Kontalk specifications and documentation

OpenMessaging homepage

Verified message-passing programs in Dotty

SeaHorn Verification Framework

A toolset for use the specification pattern in LINQ queries.

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Abstract package for building query specifications in your domain model.

A behaviour driven development (BDD) library for Clojure. Simplicity is key.

Template-system and proof-of-concept for rendering gender-neutral text-, email- and RPG-text-templates with the correct pronouns of all people involved.

High Resolution Time

The ESTree Spec

WebRTC 1.0 API

The conventional commits specification