280 Open source projects that are alternatives of or similar to cafeobj

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

Temporal Logic Planning toolbox

Read-only mirror of the Klever Git repository

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

Abstract package for building query specifications in your domain model.

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

Collection of RESTful APIs provided by Ethereum Beacon nodes

Fully verified model checker for realtime systems

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Using Nim to interface with SystemVerilog test benches via DPI-C

Cross-platform, generic language, Pact provider verification tool

An automated test of Solid specification technical compliance

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

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

The best possible way to verify and validate an email address.

SyReNN: Symbolic Representations for Neural Networks

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

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

Kontalk specifications and documentation

Software for verifying weather forecasts

Customisable OTP view and Passcode view

Docker container for creating valid local ssl certificates

[Deprecated] Typescript-version of the IN3 client.

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Fact Extraction and VERification baseline published in NAACL2018

VATA Tree Automata Library

This repository hosts the specification for the Cartographic Information Model

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

A repository for all your API specifications

Compilation and Verification of Data-Centric Languages

ECMAScript spec abstract operations.

Lightweight, open source and magic-free framework for testing solidity smart contracts.

Verify code input. You can create a verify code input.

A fast SAT solver

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

OpenAPI 3 Specification for golang

The PHP SDK for interacting with the Yoti Platform

Build trust into your image by creating a blockchain certificate for it

Electronic Health Certificates Specification

Runtime assertion checking based on Gospel specifications

WebID-OIDC Authentication Spec v0.1.0

Generated TypeScript definitions based on GitHub's OpenAPI spec

Working towards a new TAP specification

[OLD!] RGB Protocol specifications for Bitcoin-based digital assets

GitHub's official OpenAPI spec with Octokit extensions

generative programming & verification

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

Repository for version control of the BrAPI specifications

Home of the Move programming language

WAL enables programmable waveform analysis.

Firebase Spring Boot Rest API Authentication

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

Technical specification for bmson format

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

A toolset for use the specification pattern in LINQ queries.

Create API specifications and documentation using Python

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

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

An NPM package to generate captcha images that can be used in Discord bots or various other projects