gravatar for Columpio

Columpio Columpio on Github

global

Languages

7 total

LanguageReposStarsGlobal
all10121,214,611
SMT11248
Python40-
unknown10-
Coq10-
F#10-
C#10-
TeX10-

Repos

10 total

RepoLanguageStarsRank
Columpio/RInGen on GithubRInGenSMT1251
Columpio/rider-settings on Githubrider-settingsunknown0-
Columpio/TRIKparse on GithubTRIKparsePython0-
Columpio/verified-symbolic-memory on Githubverified-symbolic-memoryCoq0-
Columpio/tree-automata-sync on Githubtree-automata-syncF#0-
Columpio/bibtext-ifmo on Githubbibtext-ifmoPython0-
Columpio/SMTLIB2 on GithubSMTLIB2C#0-
Columpio/klee-experiments-runner on Githubklee-experiments-runnerPython0-
Columpio/PhD-Thesis on GithubPhD-ThesisTeX0-
Columpio/epub-translate on Githubepub-translatePython0-

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-10-21T18:29:20.216632714Z Re-sync