https://github.com/agda/agda

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

agda dependent-types programming-language proof-assistant type-theory

Last synced: 26 Apr 2026

https://github.com/agda/agda-stdlib

The Agda standard library

agda library proof

Last synced: 28 Jan 2026

https://github.com/agda/cubical

An experimental library for Cubical Agda

agda cubical-type-theory library

Last synced: 03 Feb 2026

https://github.com/agda/agda-categories

A new Categories library for Agda

Last synced: 27 Jan 2026

https://github.com/agda/agda2hs

Compiling Agda code to readable Haskell

Last synced: 12 May 2025

https://github.com/agda/cornelis

agda-mode for neovim

agda neovim nvim-hs vim-textobj-user vim-which-key

Last synced: 11 Dec 2025

https://agda.github.io/agda2hs/

Compiling Agda code to readable Haskell

Last synced: 02 Sep 2025

https://github.com/agda/agda-language-server

Language Server for Agda

agda agda-mode language-server-protocol

Last synced: 10 Apr 2026

https://github.com/agda/agda-ocaml

OCaml backend for Agda

Last synced: 12 May 2025

https://github.com/agda/agda-pkg

apkg - package manager for Agda

agda lightweight-dependency-management package-manager

Last synced: 19 Oct 2025

https://github.com/agda/agda-spec

Specification of Agda.

Last synced: 12 May 2025

https://github.com/agda/ooagda

Interactive and object-oriented programming in Agda using coinductive types

Last synced: 25 Jan 2026

https://github.com/agda/agda-stdlib-meta

Meta-programming utilities for Agda.

Last synced: 24 Jan 2026

https://github.com/agda/agda-finite-prover

Library for proving propositions quantified over finite sets

Last synced: 31 Jan 2026

https://github.com/agda/package-index

A package Index for agda libraries

agda agda-pkg apkg package-index

Last synced: 24 Jan 2026

https://github.com/agda/agda-base

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

Last synced: 15 Feb 2026

https://github.com/agda/categories-examples

Examples of categorical structures

Last synced: 23 Jan 2026

https://github.com/agda/fix-whitespace

Fixes whitespace issues

formatter sanitization version-control whitespace

Last synced: 21 Jun 2025

https://github.com/agda/hs-tags

Generate ctags and etags for Haskell files

Last synced: 12 May 2025

https://github.com/agda/guarded

Last synced: 24 Jan 2026

https://github.com/agda/agda-ghc-names

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

Last synced: 15 Jun 2025

https://github.com/agda/agda-stdlib-classes

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

Last synced: 13 Feb 2026

https://github.com/agda/organization

The Agda organization itself

Last synced: 24 Jan 2026

https://github.com/agda/nix-packages

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

Last synced: 31 Aug 2025

https://github.com/agda/agda-pretty

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

Last synced: 09 Feb 2026