Alan Jeffrey's starred repositories
agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics
agda-web-semantic
Agda libraries for the semantic web
agda-makefile
An makefile with lightweight dependency management
agda-web-uri
Simple bindings for parsing, processing and serializing URIs
agda-text-xml
Simple bindings for parsing, processing and serializing XML