gravatar for EgbertRijke

EgbertRijke EgbertRijke on Github

global / slovenia / ljubljana

Languages

6 total

LanguageReposStarsGlobalCountryLocality
all15376103,2715715
Agda2359811
Lean31115911
TeX7610,191123
unknown10---
Coq10---
JavaScript10---

Repos

15 total

RepoLanguageStarsRank
EgbertRijke/HoTT-Intro on GithubHoTT-IntroAgda3546
EgbertRijke/GraphModel on GithubGraphModelLean7330
EgbertRijke/OEIS-A000001 on GithubOEIS-A000001Agda5430
EgbertRijke/sequential_colimits on Githubsequential_colimitsLean4507
EgbertRijke/CategoryTheory_Course on GithubCategoryTheory_CourseTeX321,002
EgbertRijke/CMU on GithubCMUTeX160,088
EgbertRijke/notes-cubical on Githubnotes-cubicalTeX159,118
EgbertRijke/formally_etale on Githubformally_etaleTeX156,002
EgbertRijke/e-systems on Githube-systemsTeX0-
EgbertRijke/HoTT_Lean on GithubHoTT_Leanunknown0-

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-04-08T09:03:23.341398499Z Re-sync