Agda Github Community

agda

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

agda-stdlib

The Agda standard library

cubical

An experimental library for Cubical Agda

agda-categories

A new Categories library for Agda

agda2hs

Compiling Agda code to readable Haskell

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

agda-language-server

Language Server for Agda

agda-frp-ltl

An implementation of Functional Reactive Programming

agda-ocaml

OCaml backend for Agda

agda-pkg

apkg - package manager for Agda

agda-spec

Specification of Agda.

agda-system-io

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

agda-web-semantic

Agda libraries for the semantic web

ooAgda

Interactive and object-oriented programming in Agda using coinductive types

agda-finite-prover

Library for proving propositions quantified over finite sets

package-index

A package Index for agda libraries

categories-examples

Examples of categorical structures

agda-assoc-free

An implementation of "Associativity for Free"

agda-base

This is an experimental base library which is supposed to contain functional datastructures and reflection code.

fix-whitespace

Fixes whitespace issues

categories

Categories parametrized by morphism equality, in Agda

agda-data-bindings

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

guarded

hs-tags

Generate ctags and etags for Haskell files

agda-ghc-names

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

agda-github-syntax-highlighting

Syntax highlighting used on GitHub

agda-uhc

UHC backend for Agda

agda-web-uri

Simple bindings for parsing, processing and serializing URIs

agda-text-xml

Simple bindings for parsing, processing and serializing XML

text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.