Skip to content
View UlfNorell's full-sized avatar
229 followers · 0 following

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Highlights

  • Pro

Organizations

@agda @Quviq
Block or Report

Block or report UlfNorell

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. agda-prelude agda-prelude Public

    Programming library for Agda

    Agda 118 24

  2. insane insane Public

    Toy typechecker for Insanely Dependent Types

    Haskell 72 4

  3. agda-summer-school agda-summer-school Public

    Summer school on programming in Agda

    Agda 66 15

  4. x86-agda x86-agda Public

    Inline, type safe X86-64 assembly programming in Agda

    Agda 65 2

  5. agda-bench agda-bench Public

    Benchmarking tool for compile-time performance of Agda programs

    Haskell 18 3

  6. quasi-quote quasi-quote Public

    Quasi-quoting library for agda

    Agda 16