• 2
• 0
• 0

ooAgda

Interactive and object-oriented programming in Agda using coinductive types

• 2
• 0
• 0

hs-tags

Generate ctags and etags for Haskell files

• 2
• 0
• 0

categories-examples

Examples of categorical structures

• 2
• 0
• 0

agda-web-uri

Simple bindings for parsing, processing and serializing URIs

• 2
• 0
• 0

agda-text-xml

Simple bindings for parsing, processing and serializing XML

• 2
• 0
• 0

agda-github-syntax-highlighting

Syntax highlighting used on GitHub

• 2
• 0
• 0

agda-finite-prover

Library for proving propositions quantified over finite sets

• 2
• 0
• 0

agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings

• 2
• 0
• 0

agda-categories

A new Categories library for Agda

• 2
• 0
• 0

cubical

An experimental library for Cubical Agda

• 2
• 0
• 0

package-index

A package Index for agda libraries

• 2
• 0
• 0

fix-whitespace

Fixes whitespace issues

• 2
• 0
• 0

agda-uhc

UHC backend for Agda

• 2
• 0
• 0

agda-spec

Specification of Agda.

• 2
• 0
• 0

agda-ocaml

OCaml backend for Agda

• 2
• 0
• 0

agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler

• 3
• 0
• 0

agda

Agda is a dependently typed programming language / interactive theorem prover.

• 2
• 0
• 0

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

• 2
• 1
• 0

agda-assoc-free

An implementation of "Associativity for Free"

• 2
• 0
• 0

agda-language-server