Agda Github Community's Projects
Agda is a dependently typed programming language / interactive theorem prover.
An implementation of "Associativity for Free"
This is an experimental base library which is supposed to contain functional datastructures and reflection code.
A new Categories library for Agda
Agda bindings for low-level datatypes such as raw naturals and bytestrings
Library for proving propositions quantified over finite sets
ECMAScript back end for Functional Reactive Programming in Agda
An implementation of Functional Reactive Programming
Tool for making sense of the Haskell code generated by the Agda compiler
Syntax highlighting used on GitHub
Language Server for Agda
An makefile with lightweight dependency management
OCaml backend for Agda
apkg - package manager for Agda
Specification of Agda.
The Agda standard library
Bindings to Haskell's IO monad which respect Agda's semantics
Simple bindings for parsing, processing and serializing XML
UHC backend for Agda
Agda libraries for the semantic web
Simple bindings for parsing, processing and serializing URIs
Compiling Agda code to readable Haskell
glguy's binary numbers with some extra stuff
Categories parametrized by morphism equality, in Agda
Examples of categorical structures
An experimental library for Cubical Agda
Fixes whitespace issues
Generate ctags and etags for Haskell files
Interactive and object-oriented programming in Agda using coinductive types