gravatar for cvc5

cvc5 cvc5 on Github

global

Languages

9 total

LanguageReposStarsGlobal
all1495048,617
SMT19322
C++21178,138
Python14471,827
JavaScript111,431,755
unknown411,715,484
HTML21892,643
Slash10-
Ruby10-
Isabelle10-

Repos

14 total

RepoLanguageStarsRank
cvc5/cvc5 on Githubcvc5SMT9322
cvc5/LFSC on GithubLFSCC++10106,199
cvc5/cvc5_pythonic_api on Githubcvc5_pythonic_apiPython4624,682
cvc5/cvc5-projects on Githubcvc5-projectsunknown11,920,685
cvc5/cvc5.github.io on Githubcvc5.github.ioJavaScript12,276,034
cvc5/docs-ci on Githubdocs-ciHTML1966,562
cvc5/alfc on GithubalfcC++1474,948
cvc5/OSSRH-73873 on GithubOSSRH-73873unknown0-
cvc5/docs on GithubdocsHTML0-
cvc5/cvc5-deps on Githubcvc5-depsunknown0-

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-04-21T13:26:50.342463144Z Re-sync