Share :

EgbertRijke

Egbert Rijke

@EgbertRijke

Ljubljana, Slovenia 🇸🇮

Refresh user

Last updated : 10:37AM UTC, Jun 19th 2021

332 - Rank 49 912 🌍

Agda

Ranking:

World: 3 / 349

Slovenia 🇸🇮: 1 / 3

Ljubljana: 1 / 2

2 repositories

#3
312

Lean

Ranking:

World: 45 / 170

Slovenia 🇸🇮: 1 / 2

Ljubljana: 1 / 1

2 repositories

#45
11

TeX

Ranking:

World: 3589 / 23502

Slovenia 🇸🇮: 5 / 31

Ljubljana: 2 / 14

6 repositories

#3589
8

OCaml

Ranking:

World: 2189 / 3227

Slovenia 🇸🇮: 2 / 3

Ljubljana: 1 / 2

1 repository

#2189
1