CAN bus tools.

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

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.

Provider-side demo using Specmatic to do contract driven development

Consumer-side demo using Specmatic to do contract driven development

Petstore SOAP consumer example

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

An Electron based TODO Manager.

Config driven testing suite for protractor

📖 An implementation of CDD Model on iOS Platform.

E-commerce website allowing visualization of products as well as purchasing them. Also available in mobile version.

CIS 194 Haskell course