gravatar for Ekdohibs

Ekdohibs Ekdohibs on Github

global

Languages

8 total

LanguageReposStarsGlobal
all28213157,833
OCaml6180229
Coq414260
Python610245,744
Lua6615,947
Scala1214,657
C++21446,613
unknown20-
TeX10-

Repos

28 total

RepoLanguageStarsRank
Ekdohibs/camlboot on GithubcamlbootOCaml89415
Ekdohibs/joujou on GithubjoujouOCaml85436
Ekdohibs/PolyGen on GithubPolyGenCoq9507
Ekdohibs/pforth on GithubpforthPython5579,959
Ekdohibs/Mesecons_simulator on GithubMesecons_simulatorPython4691,560
Ekdohibs/itest on GithubitestLua339,878
Ekdohibs/coq-proofs on Githubcoq-proofsCoq31,151
Ekdohibs/toy-smt on Githubtoy-smtOCaml36,398
Ekdohibs/forth_computer on Githubforth_computerLua255,443
Ekdohibs/prologin2015 on Githubprologin2015OCaml28,422

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-03-29T22:46:16.636910289Z Re-sync