cdd topic
List
cdd repositories
CDDLib.jl
36
Stars
12
Forks
Watchers
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
specmatic
247
Stars
50
Forks
Watchers
Turn your contracts into executable specifications. Contract Driven Development - Collaboratively Design & Independently Deploy MicroServices & MicroFrontends.