Rankings
Badges
/
andrejbauer
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrej Bauer
@andrejbauer
Refresh
Open GitHub
🇸🇮 Slovenia
University of Ljubljana
Profile age: over 14 years
Updated 2 days ago
873 followers • 4 following
Contacts
Andrej.Bauer@andrej.com
https://www.andrej.com/
Organizations
Profile Overview
Global
Slovenia
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#11,667
#690,449
#8,804
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
plzoo
1,521
105
updated over 1 year ago • age about 12 years
OCaml
99.0%
Prolog
1.0%
homotopy-type-theory-course
307
8
updated over 1 year ago • age over 6 years
TeX
100.0%
spartan-type-theory
271
19
updated 21 days ago • age almost 8 years
OCaml
96.6%
Raku
2.0%
Dune
1.4%
marshall
127
14
updated about 3 years ago • age over 13 years
OCaml
55.0%
Haskell
26.4%
TeX
18.6%
coop
91
2
updated about 4 years ago • age over 6 years
OCaml
97.0%
Emacs Lisp
1.4%
Shell
1.3%
Makefile
0.3%
View all 38 repositories
Last Contributions
2025
andromeda
2 PRs
+4,890
-239
OCaml
308
34
2
europroofnet.github.io
1 PR
+36
-5
Ruby
13
64
type-theory-slovene-dictionary
1 PR
+20
-14
9
2
2024
Lean-HoG
~6 PRs
+959
-1,198
Lean
7
4
1
coq-clerical
1 PR
+55
-53
Coq
6
1
View all contributions
Latest Updates
01 Oct 2025
Followers Count:
869
873
17 Sep 2025
Followers Count:
866
869
03 Sep 2025
Followers Count:
862
866
20 Aug 2025
Followers Count:
863
862
06 Aug 2025
Followers Count:
858
863
04 Jan 2025
First seen
Subscribe to andrejbauer's GitHub rank updates in your messenger
WhatsApp
Telegram
