agda/guarded

Stars
5
Rank 2,861,937 (Top 57 %)
Language Agda
Created over 4 years ago
Updated almost 3 years ago

agda/guarded

agda

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

agda

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

agda-stdlib

The Agda standard library

cubical

An experimental library for Cubical Agda

agda-categories

A new Categories library for Agda

agda2hs

Compiling Agda code to readable Haskell

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

agda-language-server

Language Server for Agda

agda-frp-ltl

An implementation of Functional Reactive Programming

agda-ocaml

OCaml backend for Agda

agda-pkg

apkg - package manager for Agda

agda-spec

Specification of Agda.

agda-system-io

Bindings to Haskell's IO monad which respect Agda's semantics

agda-web-semantic

Agda libraries for the semantic web

ooAgda

Interactive and object-oriented programming in Agda using coinductive types

agda-finite-prover

Library for proving propositions quantified over finite sets

package-index

A package Index for agda libraries

categories-examples

Examples of categorical structures

agda-base

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

agda-assoc-free

An implementation of "Associativity for Free"

fix-whitespace

Fixes whitespace issues

hs-tags

Generate ctags and etags for Haskell files

agda-makefile

An makefile with lightweight dependency management

agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings

agda-web-uri

Simple bindings for parsing, processing and serializing URIs

agda-github-syntax-highlighting

Syntax highlighting used on GitHub

agda-uhc

UHC backend for Agda

agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler

agda-text-xml

Simple bindings for parsing, processing and serializing XML