Share :

mjendrusch

Michael Jendrusch

@mjendrusch

Refresh user

Last updated : 12:35AM UTC, Aug 8th 2021

65 - Rank 159 816 🌍

Nim

Ranking:

World: 181 / 910

3 repositories

#181
31

Python

Ranking:

World: 52013 / 483868

5 repositories

#52013
26

Lean

Ranking:

World: 72 / 170

2 repositories

#72
4

Jupyter Notebook

Ranking:

World: 60502 / 121062

1 repository

#60502
2

TeX

Ranking:

World: 11272 / 23502

1 repository

#11272
2