UlfNorell/insane
Toy typechecker for Insanely Dependent Types
Repositories
UlfNorell/agda-summer-school
Summer school on programming in Agda
UlfNorell/agda-prelude
Programming library for Agda
UlfNorell/agda-logo
UlfNorell/agda-bench
Benchmarking tool for compile-time performance of Agda programs
UlfNorell/x86-agda
Inline, type safe X86-64 assembly programming in Agda
UlfNorell/agda-tactics
UlfNorell/quasi-quote
Quasi-quoting library for agda
UlfNorell/version
Utility program for version switching
UlfNorell/fp2025
puzzle for FP retreat 2025
UlfNorell/aim-xl-talk
Sound and complete validators (AIM XL talk)
UlfNorell/github-action-playground
UlfNorell/category-theory-experiments
UlfNorell/sc2-proto
Protobuf bindings to the StarCraft 2 API
UlfNorell/agda-nofib
Benchmark programs for Agda
UlfNorell/row-types
A Haskell library for open records and variants using closed type families and type literals
UlfNorell/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
UlfNorell/agda-readline
Bindings to editline
UlfNorell/agda-criterion
Agda bindings to the Criterion benchmark library
UlfNorell/effects
Porting the Idris Effects library to Agda
UlfNorell/Gradualizer
UlfNorell/curves
Haskell library for drawing pretty pictures
UlfNorell/Primes
Prime number generator in Agda
UlfNorell/agda-cufp
CUFP tutorial 2014
UlfNorell/agda-stdlib
The Agda standard library
UlfNorell/aim23-talk
UlfNorell/agda
Agda is a dependently typed programming language / interactive theorem prover.
UlfNorell/purescript-thermite-example
An example application using PureScript's Thermite on top of React.
UlfNorell/me-em
Model Examples, Example Models
UlfNorell/statem-laws
Using quickspec on stateful code