Repos by coco-team

coco-team / repos

14 repos

«12»
RepoLanguageStarsRank
coco-team/cocoSim-deprecated on GithubcocoSim-deprecatedMATLAB234,872
coco-team/lustrec on GithublustrecOCaml152,276
coco-team/cocoSim2 on GithubcocoSim2MATLAB157,903
coco-team/zustre on GithubzustrePython13293,752
coco-team/spaceshuttle on Githubspaceshuttleunknown8186,183
coco-team/benchmarks on GithubbenchmarkseC412
coco-team/log2model on Githublog2modelJava11,608,297
coco-team/pkind on GithubpkindOCaml113,143
coco-team/Ikos-Api on GithubIkos-ApiOCaml112,222
coco-team/regression-test on Githubregression-testSMT0-