Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-categories
A new Categories library for Agda
agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda-frp-ltl
An implementation of Functional Reactive Programming
agda-language-server
Language Server for Agda
agda-ocaml
OCaml backend for Agda
agda-pkg
apkg - package manager for Agda
agda-stdlib
The Agda standard library
agda2hs
Compiling Agda code to readable Haskell
cubical
An experimental library for Cubical Agda
Agda Github Community's Repositories
agda/agda-makefile
An makefile with lightweight dependency management
agda/bitvector
glguy's binary numbers with some extra stuff