gravatar for EgbertRijke

EgbertRijke EgbertRijke on Github

global / united states / baltimore

Languages

5 total

LanguageReposStarsGlobalCountryLocality
all15383109,10815,98863
Agda2363811
Lean312180384
TeX788,7801,26512
unknown20---
Coq10---

Repos

15 total

RepoLanguageStarsRank
EgbertRijke/HoTT-Intro on GithubHoTT-IntroAgda3587
EgbertRijke/GraphModel on GithubGraphModelLean8372
EgbertRijke/OEIS-A000001 on GithubOEIS-A000001Agda5449
EgbertRijke/sequential_colimits on Githubsequential_colimitsLean4639
EgbertRijke/CategoryTheory_Course on GithubCategoryTheory_CourseTeX322,500
EgbertRijke/CMU on GithubCMUTeX232,896
EgbertRijke/notes-cubical on Githubnotes-cubicalTeX163,326
EgbertRijke/K-theory on GithubK-theoryTeX161,842
EgbertRijke/formally_etale on Githubformally_etaleTeX160,246
EgbertRijke/e-systems on Githube-systemsTeX0-

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-10-23T00:26:38.460851736Z Re-sync