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电子签章，关键词签章

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

Process a contract with installments and payment method

Simple and fast contract checks

Pact based consumer driven contract testing boilerplate on spring boot applications

A way to encode values as types.

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

IoT contract development and enforcement

Ensure that arguments to a method satisfy requirements.

Simple example of Spring Cloud Contract.

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

Examples and evaluation of the Runtime Environment of Contract Automata

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.