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.8k 402

  2. agda-stdlib agda-stdlib Public

    The Agda standard library

    Agda 650 262

  3. cubical cubical Public

    An experimental library for Cubical Agda

    Agda 537 160

  4. agda-categories agda-categories Public

    A new Categories library for Agda

    Agda 399 74

  5. agda2hs agda2hs Public

    Compiling Agda code to readable Haskell

    Agda 200 45

  6. cornelis cornelis Public

    agda-mode for neovim

    Haskell 178 25

Repositories

Showing 10 of 24 repositories
View all repositories

Most used topics

agda library