Popular repositories Loading

1. agda-frp-js agda-frp-js Public

   ECMAScript back end for Functional Reactive Programming in Agda

   Agda 104 12

2. agda-frp-ltl agda-frp-ltl Public

   An implementation of Functional Reactive Programming

   Agda 40 2

3. agda-system-io agda-system-io Public

   Bindings to Haskell's IO monad which respect Agda's semantics

   Agda 24 3

4. agda-web-semantic agda-web-semantic Public

   Agda libraries for the semantic web

   Agda 24 3

5. agda-assoc-free agda-assoc-free Public

   An implementation of "Associativity for Free"

   9 2

6. agda-makefile agda-makefile Public

   An makefile with lightweight dependency management

   5 1