gravatar for bzhan

bzhan bzhan on Github

global

Languages

3 total

LanguageReposStarsGlobal
all8112267,801
SMT15620
Isabelle53816
Python218182,083

Repos

8 total

RepoLanguageStarsRank
bzhan/holpy on GithubholpySMT5618
bzhan/auto2 on Githubauto2Isabelle3318
bzhan/bfh_python on Githubbfh_pythonPython9413,688
bzhan/iscalc on GithubiscalcPython9389,370
bzhan/Imperative_HOL_Time on GithubImperative_HOL_TimeIsabelle2177
bzhan/mars on GithubmarsIsabelle2143
bzhan/EventSystem on GithubEventSystemIsabelle1264
bzhan/HHLProver on GithubHHLProverIsabelle0-

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-19T03:28:19.493488221Z Re-sync