gravatar for mjendrusch

mjendrusch mjendrusch on Github

global

Languages

6 total

LanguageReposStarsGlobal
all1776324,707
Nim538332
Python528121,990
Lean24273
Jupyter Notebook33149,172
TeX1316,171
C10-

Repos

17 total

RepoLanguageStarsRank
mjendrusch/nimna on GithubnimnaNim21884
mjendrusch/torchsupport on GithubtorchsupportPython19213,489
mjendrusch/metric on GithubmetricNim171,063
mjendrusch/pytorch-histogan on Githubpytorch-histoganPython4632,877
mjendrusch/mobi-talks on Githubmobi-talksTeX318,437
mjendrusch/lean-falso on Githublean-falsoLean2807
mjendrusch/monoidal-categories-reboot on Githubmonoidal-categories-rebootLean2796
mjendrusch/learning-ifc on Githublearning-ifcPython21,148,352
mjendrusch/betafold on GithubbetafoldPython21,140,374
mjendrusch/assoc on GithubassocJupyter Notebook2270,568

Badges

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

Global

Global

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

Preview

Last updated: 2024-04-03T11:16:47.432982340Z Re-sync