Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-categories
A new Categories library for Agda
agda-language-server
Language Server for Agda
agda-ocaml
OCaml backend for Agda
agda-pkg
apkg - package manager for Agda
agda-spec
Specification of Agda.
agda-stdlib
The Agda standard library
agda2hs
Compiling Agda code to readable Haskell
cornelis
agda-mode for neovim
cubical
An experimental library for Cubical Agda
Agda Github Community's Repositories
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
agda/agda-stdlib
The Agda standard library
agda/cubical
An experimental library for Cubical Agda
agda/agda-categories
A new Categories library for Agda
agda/agda2hs
Compiling Agda code to readable Haskell
agda/cornelis
agda-mode for neovim
agda/agda-language-server
Language Server for Agda
agda/agda-ocaml
OCaml backend for Agda
agda/agda-pkg
apkg - package manager for Agda
agda/agda-spec
Specification of Agda.
agda/ooAgda
Interactive and object-oriented programming in Agda using coinductive types
agda/agda-stdlib-meta
Meta-programming utilities for Agda.
agda/agda-finite-prover
Library for proving propositions quantified over finite sets
agda/package-index
A package Index for agda libraries
agda/agda-base
This is an experimental base library which is supposed to contain functional datastructures and reflection code.
agda/categories-examples
Examples of categorical structures
agda/fix-whitespace
Fixes whitespace issues
agda/guarded
agda/hs-tags
Generate ctags and etags for Haskell files
agda/agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
agda/agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
agda/organization
The Agda organization itself
agda/nix-packages
Packages and abstractions to use Nix as a package manager for Agda