gravatar for UlfNorell

UlfNorell UlfNorell on Github

global

Languages

3 total

LanguageReposStarsGlobal
all21388100,622
Agda1228911
Haskell697988
unknown32634,749

Repos

21 total

RepoLanguageStarsRank
UlfNorell/agda-prelude on Githubagda-preludeAgda11820
UlfNorell/insane on GithubinsaneHaskell721,365
UlfNorell/agda-summer-school on Githubagda-summer-schoolAgda6635
UlfNorell/x86-agda on Githubx86-agdaAgda6536
UlfNorell/agda-bench on Githubagda-benchHaskell184,276
UlfNorell/quasi-quote on Githubquasi-quoteAgda16163
UlfNorell/category-theory-experiments on Githubcategory-theory-experimentsAgda8310
UlfNorell/curves on GithubcurvesHaskell511,895
UlfNorell/effects on GithubeffectsAgda5454
UlfNorell/aim23-talk on Githubaim23-talkAgda4566

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-17T17:30:56.369461004Z Re-sync