contract

High-performance Contract ABI and RLP for Ethereum

Pact DSL Builder annotation processor to create request bodies based on annotations. It allows to specify static values for properties also through Example annotation

html generate pdf,pdf模板生成pdf,html->pdf,word->pdf,pdf sign,pdf电子签章，关键词签章

OpenAPI 3 contract parsing and validation for Eclipse Vert.x

The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.

Spring Cloud Contract demo application

KitX Contracts

Spring Cloud Consumer-Driven-Contract Example

Hashed Timelock Contracts(HTLC) for GXChain

基于Multi-Agent和RAG的智能合同风险审查系统

Process a contract with installments and payment method

Simple and fast contract checks

This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work

Pact based consumer driven contract testing boilerplate on spring boot applications

Contract analysis and management tool

AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016

Example of usage of CATLib for modelling and implementating the tic-tac-toe game

Constrain values to be less than a maximum, greater than a minimum, or both.

IoT contract development and enforcement

Ensure that arguments to a method satisfy requirements.