Agda Github Community

All

24 repositories

agda
Public
Agda is a dependently typed programming language / interactive theorem prover.
programming-language dependent-types proof-assistant type-theory agda
Haskell
•
Other
•400•2.8k•1k•58•Updated Feb 16, 2026Feb 16, 2026
agda-stdlib
Public
The Agda standard library
library proof agda
Agda
•
Other
•261•646•286•57•Updated Feb 15, 2026Feb 15, 2026
cubical
Public
An experimental library for Cubical Agda
library cubical-type-theory agda
Agda
•
Other
•160•535•68•53•Updated Feb 10, 2026Feb 10, 2026
agda2lambox
Public
Compiling Agda's internal syntax to λ-box terms.
Haskell
•
Other
•3•9•12•6•Updated Feb 6, 2026Feb 6, 2026
agda2hs
Public
Compiling Agda code to readable Haskell
Agda
•
MIT License
•45•200•57•4•Updated Feb 3, 2026Feb 3, 2026
agda-categories
Public
A new Categories library for Agda
Agda
•
MIT License
•74•398•53•12•Updated Jan 22, 2026Jan 22, 2026
organization
Public
The Agda organization itself
0•2•0•0•Updated Jan 22, 2026Jan 22, 2026
cornelis
Public
agda-mode for neovim
neovim agda vim-textobj-user nvim-hs vim-which-key
Haskell
•
BSD 3-Clause "New" or "Revised" License
•26•177•25•4•Updated Jan 22, 2026Jan 22, 2026
tasty-silver
Public
A fancy test runner for tasty and support for golden tests.
Haskell
•
MIT License
•4•13•8•0•Updated Jan 5, 2026Jan 5, 2026
fix-whitespace
Public
Fixes whitespace issues
sanitization formatter version-control whitespace
Haskell
•
Other
•8•10•5•2•Updated Dec 15, 2025Dec 15, 2025
ooAgda
Public
Interactive and object-oriented programming in Agda using coinductive types
Agda
•
MIT License
•1•25•0•0•Updated Nov 29, 2025Nov 29, 2025
guarded
Public
Agda
•0•6•0•0•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
•0•1•0•0•Updated Nov 14, 2025Nov 14, 2025
agda-language-server
Public
Language Server for Agda
language-server-protocol agda agda-mode
Haskell
•
MIT License
•18•124•10•1•Updated Oct 29, 2025Oct 29, 2025
agda-github-syntax-highlighting
Public
Syntax highlighting used on GitHub
Python
•
MIT License
•3•4•5•0•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
•401•0•0•0•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
•3•4•4•3•Updated Aug 5, 2025Aug 5, 2025
agda-stdlib-meta
Public
Meta-programming utilities for Agda.
Agda
•
MIT License
•4•20•9•2•Updated Aug 5, 2025Aug 5, 2025
agda-pretty
Public
Agda port of the Haskell pretty (Text.PrettyPrint) package
Agda
•
Other
•0•1•0•0•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
•0•11•1•0•Updated Jun 6, 2023Jun 6, 2023
agda-finite-prover
Public
Library for proving propositions quantified over finite sets
Agda
•0•14•2•0•Updated Sep 21, 2022Sep 21, 2022
agda-pkg
Public
apkg - package manager for Agda
package-manager agda lightweight-dependency-management
Python
•
Other
•7•38•2•2•Updated Jul 17, 2021Jul 17, 2021
categories-examples
Public
Examples of categorical structures
Agda
•
MIT License
•3•11•3•1•Updated Mar 19, 2021Mar 19, 2021
package-index
Public
A package Index for agda libraries
agda package-index apkg agda-pkg
1•12•3•1•Updated Mar 14, 2021Mar 14, 2021