Agda is a dependently typed programming language / interactive theorem prover.
ECMAScript back end for Functional Reactive Programming in Agda
apkg - package manager for Agda
