All Git Users → UlfNorell

3 open source projects by UlfNorell

[ Open user page on Github ]

1. Agda Prelude

Programming library for Agda

✭ 103

Benchmarking tool for compile-time performance of Agda programs

✭ 14

Inline, type safe X86-64 assembly programming in Agda

✭ 56

1-3 of 3 user projects