agda/cubical

An experimental library for Cubical Agda

Language: Agda - Size: 344 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 499 - Forks: 154

agda/agda

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

Language: Haskell - Size: 148 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2,698 - Forks: 380

agda/tasty-silver

A fancy test runner for tasty and support for golden tests.

Language: Haskell - Size: 287 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 13 - Forks: 4

agda/cornelis

agda-mode for neovim

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

agda/agda-stdlib

The Agda standard library

Language: Agda - Size: 572 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 624 - Forks: 256

agda/agda-categories

A new Categories library for Agda

Language: Agda - Size: 52.5 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 385 - Forks: 71

agda/agda-language-server

Language Server for Agda

Language: Haskell - Size: 458 KB - Last synced at: about 16 hours ago - Pushed at: 13 days ago - Stars: 113 - Forks: 19

agda/agda-stdlib-classes

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

Language: Agda - Size: 28.1 MB - Last synced at: 14 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 3

agda/agda2hs

Compiling Agda code to readable Haskell

Language: Agda - Size: 5.31 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 190 - Forks: 43

agda/fix-whitespace

Fixes whitespace issues

Language: Haskell - Size: 115 KB - Last synced at: 13 days ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 7

agda/agda-pretty

Agda port of the Haskell pretty (Text.PrettyPrint) package

Language: Agda - Size: 23.4 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

agda/agda-stdlib-meta

Meta-programming utilities for Agda.

Language: Agda - Size: 33.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 4

agda/agda-pkg

apkg - package manager for Agda

Language: Python - Size: 19 MB - Last synced at: 19 days ago - Pushed at: about 4 years ago - Stars: 38 - Forks: 8

agda/agda-ocaml

OCaml backend for Agda

Language: Haskell - Size: 2.68 MB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 40 - Forks: 6

agda/agda2lambox

Compiling Agda's internal syntax to λ-box terms.

Language: Haskell - Size: 316 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 6 - Forks: 2

agda/ooAgda

Interactive and object-oriented programming in Agda using coinductive types

Language: Agda - Size: 1.4 MB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 23 - Forks: 2

agda/organization

The Agda organization itself

Size: 1000 Bytes - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

agda/nix-packages

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

Language: Nix - Size: 1.95 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

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: 4 months ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 0

agda/agda-finite-prover

Library for proving propositions quantified over finite sets

Language: Agda - Size: 42 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 2

agda/guarded

Language: Agda - Size: 13.7 KB - Last synced at: 4 months 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: 4 months ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 4

agda/hs-tags

Generate ctags and etags for Haskell files

Language: Haskell - Size: 133 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1

agda/agda-spec

Specification of Agda.

Language: TeX - Size: 313 KB - Last synced at: 4 months 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: 4 months ago - Pushed at: over 4 years ago - Stars: 12 - Forks: 2

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: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

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: 3 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 2