CAN bus tools.

Eliminate API integration headaches with Specmatic's no-code AI-powered API development suite. Teams ship APIs 10x faster by transforming specifications into executable contracts instantly—no coding required, no integration surprises.

cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination

This library computes a Contact Wrench Cone using polyhedral presentation.

A robust encoder-decoder architecture for cloud detection from satellite remote sensing images

Climate data, indices and it's application

Contracts for sample projects that use Specmatic to do contract driven development

CLI tool that implements the CDD design technique in Java

Turn your contracts into executable specifications. Contract Driven Development - Collaboratively Design & Independently Deploy MicroServices & MicroFrontends.

Component-Driven Development (CDD) in React. Think scalable, robust, good performance and type safe components

This project develops a machine learning model using Chebyshev graph convolutions within a Kernel-based Attention Network (KAN) to accurately predict Fukui indices, which are essential for assessing molecular reactivity in chemical reactions.

Provider-side demo using Specmatic to do contract driven development

An Electron based TODO Manager.

Petstore SOAP consumer example

Config driven testing suite for protractor

The specmatic documentation website

Consumer-side demo using Specmatic to do contract driven development