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

cornelis

agda-mode for neovim

agda-language-server

Language Server for Agda

agda-ocaml

OCaml backend for Agda

agda-pkg

apkg - package manager for Agda

agda-spec

Specification of Agda.

ooAgda

Interactive and object-oriented programming in Agda using coinductive types

agda-stdlib-meta

Meta-programming utilities for Agda.

agda-finite-prover

Library for proving propositions quantified over finite sets

tasty-silver

A fancy test runner for tasty and support for golden tests.

package-index

A package Index for agda libraries

agda-base

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

categories-examples

Examples of categorical structures

fix-whitespace

Fixes whitespace issues

agda2lambox

Compiling Agda's internal syntax to λ-box terms.

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-stdlib-classes

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

organization

The Agda organization itself

agda-pretty

Agda port of the Haskell pretty (Text.PrettyPrint) package

nix-packages

Packages and abstractions to use Nix as a package manager for Agda