Repos by UlfNorell

UlfNorell / repos

21 repos

«123»
RepoLanguageStarsRank
UlfNorell/agda-prelude on Githubagda-preludeAgda11920
UlfNorell/insane on GithubinsaneHaskell791,266
UlfNorell/agda-summer-school on Githubagda-summer-schoolAgda6634
UlfNorell/x86-agda on Githubx86-agdaAgda6535
UlfNorell/agda-bench on Githubagda-benchHaskell184,303
UlfNorell/quasi-quote on Githubquasi-quoteAgda16164
UlfNorell/category-theory-experiments on Githubcategory-theory-experimentsAgda8314
UlfNorell/curves on GithubcurvesHaskell511,993
UlfNorell/effects on GithubeffectsAgda5457
UlfNorell/aim23-talk on Githubaim23-talkAgda4571