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
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/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda/agda-language-server
Language Server for Agda
agda/agda-frp-ltl
An implementation of Functional Reactive Programming
agda/agda-ocaml
OCaml backend for Agda
agda/agda-pkg
apkg - package manager for Agda
agda/agda-spec
Specification of Agda.
agda/agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics
agda/agda-web-semantic
Agda libraries for the semantic web
agda/ooAgda
Interactive and object-oriented programming in Agda using coinductive types
agda/agda-finite-prover
Library for proving propositions quantified over finite sets
agda/package-index
A package Index for agda libraries
agda/categories-examples
Examples of categorical structures
agda/agda-assoc-free
An implementation of "Associativity for Free"
agda/agda-base
This is an experimental base library which is supposed to contain functional datastructures and reflection code.
agda/fix-whitespace
Fixes whitespace issues
agda/categories
Categories parametrized by morphism equality, in Agda
agda/agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
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-github-syntax-highlighting
Syntax highlighting used on GitHub
agda/agda-uhc
UHC backend for Agda
agda/agda-web-uri
Simple bindings for parsing, processing and serializing URIs
agda/agda-text-xml
Simple bindings for parsing, processing and serializing XML
agda/text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.