isabella232 Goto Github PK

agate-lookup

agate-lookup adds remote lookup tables to agate.

agate-remote

Adds read support for remote files to agate

agate-sql

agate-sql adds SQL read/write support to agate.

agate-stats

agate-stats adds additional statistical methods to agate.

agblurtransition

Work in progress of a custom transition delegate for presenting modal views with a blur background

agcdn-test-modules

agda

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

agda-1

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

agda-assoc-free

An implementation of "Associativity for Free"

agda-categories

A new Categories library for Agda

agda-data-bindings

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

agda-finite-prover

Library for proving propositions quantified over finite sets

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

agda-frp-ltl

An implementation of Functional Reactive Programming

agda-ghc-names

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

agda-github-syntax-highlighting

Syntax highlighting used on GitHub

agda-makefile

An makefile with lightweight dependency management

agda-ocaml

OCaml backend for Agda

agda-pkg

The Agda Package Manager

agda-rb

agda-spec

Specification of Agda.

agda-stdlib

The Agda standard library

agda-system-io

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

agda-text-xml

Simple bindings for parsing, processing and serializing XML

agda-uhc

UHC backend for Agda

agda-web-semantic

Agda libraries for the semantic web

agda-web-uri

Simple bindings for parsing, processing and serializing URIs

agda2hs

Compiling Agda code to readable Haskell

agecache

An LRU cache with support for max age

agency-ads-management-solutions