Ulf Norell

Results 6 repositories owned by


                                            Ulf Norell

118

Stars

Forks

Watchers

Programming library for Agda

Stars

Forks

Watchers

Benchmarking tool for compile-time performance of Agda programs

Stars

Forks

Watchers

Summer school on programming in Agda

Stars

Forks

Watchers

Toy typechecker for Insanely Dependent Types

Stars

Forks

Watchers

Quasi-quoting library for agda

Stars

Forks

Watchers

Inline, type safe X86-64 assembly programming in Agda