Ulf Norell Ulf Norell

Tracking 21.8K commits to 48 open source packages



Repositories

UlfNorell/agda-prelude
Programming library for Agda
Agda - MIT - Last pushed - 53 stars - 18 forks
UlfNorell/agda-summer-school
Summer school on programming in Agda
Agda - Last pushed - 51 stars - 13 forks
UlfNorell/curves
Haskell library for drawing pretty pictures
Haskell - OFL-1.1 - Last pushed - 4 stars
UlfNorell/insane
Toy typechecker for Insanely Dependent Types
Haskell - Last pushed - 24 stars - 3 forks
UlfNorell/agda-cufp
CUFP tutorial 2014
Agda - Last pushed - 3 stars - 2 forks
UlfNorell/x86-agda
Inline, type safe X86-64 assembly programming in Agda
Updated - 8 stars
See all Ulf Norell's repositories

Repositories Contributed To

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Haskell - Other - Updated - 1 stars
See all Ulf Norell's contributions

Last synced: 2016-12-14 13:39:21 UTC

Login to resync this page