Repos by UlfNorell

UlfNorell / repos

21 repos

«123»
RepoLanguageStarsRank
UlfNorell/agda-prelude on Githubagda-preludeAgda11820
UlfNorell/insane on GithubinsaneHaskell791,262
UlfNorell/agda-summer-school on Githubagda-summer-schoolAgda6634
UlfNorell/x86-agda on Githubx86-agdaAgda6535
UlfNorell/agda-bench on Githubagda-benchHaskell184,297
UlfNorell/quasi-quote on Githubquasi-quoteAgda16164
UlfNorell/category-theory-experiments on Githubcategory-theory-experimentsAgda8313
UlfNorell/curves on GithubcurvesHaskell511,984
UlfNorell/effects on GithubeffectsAgda5456
UlfNorell/aim23-talk on Githubaim23-talkAgda4570