Repositories list

• agda

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

  programming-languagedependent-typesproof-assistant+ 2

  programming-languagedependent-typesproof-assistanttype-theoryagda

  Haskell

  •

  Other

  •410410 forks•2.8k2.8k stars•1k1k issues•5959 pull requests•Updated Apr 8, 2026Apr 8, 2026

• agda-stdlib

  Public
  The Agda standard library

  libraryproofagda

  libraryproofagda

  Agda

  •

  Other

  •264264 forks•654654 stars•288288 issues•6363 pull requests•Updated Apr 8, 2026Apr 8, 2026

• agda-language-server

  Public
  Language Server for Agda

  language-server-protocolagdaagda-mode

  language-server-protocolagdaagda-mode

  Haskell

  •

  MIT License

  •2020 forks•125125 stars•1010 issues•22 pull requests•Updated Apr 5, 2026Apr 5, 2026

• agda-categories

  Public
  A new Categories library for Agda

  Agda

  •

  MIT License

  •7676 forks•401401 stars•5454 issues•1313 pull requests•Updated Apr 2, 2026Apr 2, 2026

• cubical

  Public
  An experimental library for Cubical Agda

  librarycubical-type-theoryagda

  librarycubical-type-theoryagda

  Agda

  •

  Other

  •162162 forks•542542 stars•6767 issues•4747 pull requests•Updated Mar 30, 2026Mar 30, 2026

• agda2lambox

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

  Haskell

  •

  Other

  •33 forks•99 stars•1313 issues•66 pull requests•Updated Feb 27, 2026Feb 27, 2026

• agda2hs

  Public

  agda/agda2hs’s past year of commit activity
  Compiling Agda code to readable Haskell

  Agda

  •

  MIT License

  •4646 forks•202202 stars•5858 issues•66 pull requests•Updated Feb 3, 2026Feb 3, 2026

• organization

  Public
  The Agda organization itself

  00 forks•22 stars•00 issues•00 pull requests•Updated Jan 22, 2026Jan 22, 2026

• cornelis

  Public
  agda-mode for neovim

  neovimagdavim-textobj-user+ 2

  neovimagdavim-textobj-usernvim-hsvim-which-key

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •2626 forks•178178 stars•2626 issues•44 pull requests•Updated Jan 22, 2026Jan 22, 2026

• tasty-silver

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

  Haskell

  •

  MIT License

  •44 forks•1313 stars•88 issues•00 pull requests•Updated Jan 5, 2026Jan 5, 2026

• fix-whitespace

  Public
  Fixes whitespace issues

  sanitizationformatterversion-control+ 1

  sanitizationformatterversion-controlwhitespace

  Haskell

  •

  Other

  •88 forks•1010 stars•66 issues•22 pull requests•Updated Dec 15, 2025Dec 15, 2025

• ooAgda

  Public
  Interactive and object-oriented programming in Agda using coinductive types

  Agda

  •

  MIT License

  •11 fork•2525 stars•00 issues•00 pull requests•Updated Nov 29, 2025Nov 29, 2025

• guarded

  Public
  Agda

  •00 forks•66 stars•00 issues•00 pull requests•Updated Nov 29, 2025Nov 29, 2025

• agda-setup-action

  Public
  Github action to install Agda from the official deployed binaries

  BSD 3-Clause "New" or "Revised" License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 14, 2025Nov 14, 2025

• agda-github-syntax-highlighting

  Public
  Syntax highlighting used on GitHub

  Python

  •

  MIT License

  •33 forks•44 stars•55 issues•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• github-pages-deploy-action

  Public
  🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd…

  TypeScript

  •

  MIT License

  •408408 forks•00 stars•00 issues•00 pull requests•Updated Sep 30, 2025Sep 30, 2025

• agda-stdlib-classes

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

  Agda

  •

  MIT License

  •33 forks•44 stars•44 issues•33 pull requests•Updated Aug 5, 2025Aug 5, 2025

• agda-stdlib-meta

  Public
  Meta-programming utilities for Agda.

  Agda

  •

  MIT License

  •44 forks•2020 stars•99 issues•22 pull requests•Updated Aug 5, 2025Aug 5, 2025

• agda-pretty

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

  Agda

  •

  Other

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 25, 2025Jun 25, 2025

• agda-base

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

  Agda

  •

  Other

  •00 forks•1111 stars•11 issue•00 pull requests•Updated Jun 6, 2023Jun 6, 2023

• agda-finite-prover

  Public
  Library for proving propositions quantified over finite sets

  Agda

  •00 forks•1414 stars•22 issues•00 pull requests•Updated Sep 21, 2022Sep 21, 2022

• agda-pkg

  Public
  apkg - package manager for Agda

  package-manageragdalightweight-dependency-management

  package-manageragdalightweight-dependency-management

  Python

  •

  Other

  •77 forks•3838 stars•22 issues•22 pull requests•Updated Jul 17, 2021Jul 17, 2021

• categories-examples

  Public
  Examples of categorical structures

  Agda

  •

  MIT License

  •33 forks•1111 stars•33 issues•11 pull request•Updated Mar 19, 2021Mar 19, 2021

• package-index

  Public
  A package Index for agda libraries

  agdapackage-indexapkg+ 1

  agdapackage-indexapkgagda-pkg

  11 fork•1212 stars•33 issues•11 pull request•Updated Mar 14, 2021Mar 14, 2021