Skip to content
@agda

Agda Github Community

See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.

Popular repositories Loading

  1. agda agda Public

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

    Haskell 2.9k 431

  2. agda-stdlib agda-stdlib Public

    The Agda standard library

    Agda 677 276

  3. cubical cubical Public

    An experimental library for Cubical Agda

    Agda 572 173

  4. agda-categories agda-categories Public

    A new Categories library for Agda

    Agda 411 82

  5. agda2hs agda2hs Public

    Compiling Agda code to readable Haskell

    Agda 211 50

  6. cornelis cornelis Public

    agda-mode for neovim

    Haskell 192 30

Repositories

Showing 10 of 25 repositories
View all repositories

Most used topics

agda library