agda/agda

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

Language: Haskell - Size: 146 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2,627 - Forks: 369

agda/agda-categories

A new Categories library for Agda

Language: Agda - Size: 50.4 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 377 - Forks: 70

agda/agda2hs

Compiling Agda code to readable Haskell

Language: Agda - Size: 5.16 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 186 - Forks: 41

agda/cornelis

agda-mode for neovim

Language: Haskell - Size: 12.1 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 153 - Forks: 24

agda/agda-stdlib

The Agda standard library

Language: Agda - Size: 550 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 610 - Forks: 247

agda/agda-language-server

Language Server for Agda

Language: Haskell - Size: 390 KB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 108 - Forks: 15

agda/cubical

An experimental library for Cubical Agda

Language: Agda - Size: 313 MB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 477 - Forks: 145

agda/agda-stdlib-meta

Meta-programming utilities for Agda.

Language: Agda - Size: 34.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 3

agda/agda-stdlib-classes

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

Language: Agda - Size: 25.5 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 3 - Forks: 3

agda/fix-whitespace

Fixes whitespace issues

Language: Haskell - Size: 122 KB - Last synced at: 18 days ago - Pushed at: 3 months ago - Stars: 8 - Forks: 7

agda/agda-pkg

apkg - package manager for Agda

Language: Python - Size: 19 MB - Last synced at: 27 days ago - Pushed at: almost 4 years ago - Stars: 37 - Forks: 8

agda/nix-packages

Packages and abstractions to use Nix as a package manager for Agda

Language: Nix - Size: 1.95 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

agda/organization

The Agda organization itself

Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

agda/hs-tags

Generate ctags and etags for Haskell files

Language: Haskell - Size: 133 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1

agda/agda-uhc

UHC backend for Agda

Language: Haskell - Size: 69.3 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 1

agda/agda-spec

Specification of Agda.

Language: TeX - Size: 313 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 25 - Forks: 3

agda/package-index

A package Index for agda libraries

Size: 57.6 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 12 - Forks: 2

agda/agda-ocaml

OCaml backend for Agda

Language: Haskell - Size: 2.68 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 39 - Forks: 6

agda/agda-system-io

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

Language: Agda - Size: 108 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 24 - Forks: 3

agda/agda-ghc-names

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

Language: Haskell - Size: 11.7 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 2

agda/agda-data-bindings

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

Language: Agda - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

agda/agda-assoc-free

An implementation of "Associativity for Free"

Size: 102 KB - Last synced at: about 1 year ago - Pushed at: over 13 years ago - Stars: 9 - Forks: 2

agda/agda-github-syntax-highlighting

Syntax highlighting used on GitHub

Language: Agda - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 4

agda/agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

Language: Agda - Size: 210 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 100 - Forks: 12

agda/agda-frp-ltl

An implementation of Functional Reactive Programming

Language: Agda - Size: 158 KB - Last synced at: about 1 year ago - Pushed at: about 10 years ago - Stars: 41 - Forks: 2

agda/ooAgda

Interactive and object-oriented programming in Agda using coinductive types

Language: Agda - Size: 1.4 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 2

agda/agda-base

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

Language: Agda - Size: 159 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 0

agda/agda-web-semantic

Agda libraries for the semantic web

Language: Agda - Size: 139 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 3

agda/agda-finite-prover

Library for proving propositions quantified over finite sets

Language: Agda - Size: 42 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 2

agda/guarded

Language: Agda - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1

agda/categories-examples

Examples of categorical structures

Language: Agda - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 4

agda/text-icu Fork of haskell/text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.

Language: Haskell - Size: 618 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

agda/agda-makefile

An makefile with lightweight dependency management

Size: 97.7 KB - Last synced at: about 1 year ago - Pushed at: almost 14 years ago - Stars: 5 - Forks: 1

agda/agda-web-uri

Simple bindings for parsing, processing and serializing URIs

Language: Haskell - Size: 97.7 KB - Last synced at: about 1 year ago - Pushed at: almost 14 years ago - Stars: 4 - Forks: 1

agda/agda-text-xml

Simple bindings for parsing, processing and serializing XML

Size: 93.8 KB - Last synced at: about 1 year ago - Pushed at: almost 14 years ago - Stars: 3 - Forks: 1