gravatar for coco-team

coco-team coco-team on Github

global

Languages

8 total

LanguageReposStarsGlobal
all1480319,661
MATLAB2373,132
OCaml3171,156
Python113212,436
unknown28171,433
eC1413
Java31842,556
JavaScript10-
SMT10-

Repos

14 total

RepoLanguageStarsRank
coco-team/cocoSim-deprecated on GithubcocoSim-deprecatedMATLAB234,787
coco-team/lustrec on GithublustrecOCaml152,264
coco-team/cocoSim2 on GithubcocoSim2MATLAB148,382
coco-team/zustre on GithubzustrePython13290,307
coco-team/spaceshuttle on Githubspaceshuttleunknown8183,265
coco-team/benchmarks on GithubbenchmarkseC413
coco-team/log2model on Githublog2modelJava11,600,416
coco-team/pkind on GithubpkindOCaml113,100
coco-team/Ikos-Api on GithubIkos-ApiOCaml112,177
coco-team/regression-test on Githubregression-testSMT0-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-05-09T16:16:17.069880505Z Re-sync