cdd

CAN bus tools.

Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.

A command watcher that commits when you fix errors

A resource full of Crypto/OSINT tools, techniques and training courses for CTI, AML, and forensic investigations.

A cdd-first methodology repo — continuously-discovered development as the core discipline, AI coding skills as the carrier.

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

Audit and enforce canonical project documentation for AI-assisted development. Detect drift, validate specs, and brief agents. Part of the Guard family with TestGuard and WebSec Validator.

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

The specmatic documentation website

Archived predecessor of Fukui_Net for molecular reactivity prediction.

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

Open AML agent framework for local, human-supervised AML/KYC/KYB workflows

Provider-side demo using Specmatic to do contract driven development