gravatar for stefan-hoeck

stefan-hoeck stefan-hoeck on Github

global

Languages

8 total

LanguageReposStarsGlobal
all6872461,577
Idris466294
Scala11591,929
unknown51886,926
HTML11348,564
Makefile1311,145
Python111,245,081
Vim Script1123,354
Haskell20-

Repos

68 total

RepoLanguageStarsRank
stefan-hoeck/idris2-tutorial on Githubidris2-tutorialIdris17413
stefan-hoeck/idris2-pack on Githubidris2-packIdris8529
stefan-hoeck/idris2-elab-util on Githubidris2-elab-utilIdris7430
stefan-hoeck/idris2-dom on Githubidris2-domIdris4449
stefan-hoeck/idris2-sop on Githubidris2-sopIdris3368
stefan-hoeck/dire on GithubdireScala314,145
stefan-hoeck/idris2-hedgehog on Githubidris2-hedgehogIdris2978
stefan-hoeck/idris2-rhone-js on Githubidris2-rhone-jsIdris21112
stefan-hoeck/chemf on GithubchemfScala166,681
stefan-hoeck/idris2-dom-mvc on Githubidris2-dom-mvcIdris16137

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-30T05:20:09.396154366Z Re-sync