Agda Github Community

Repositories

• cubical

  An experimental library for Cubical Agda
  Agda MIT 64 209 20 (2 issues need help) 20 Updated Oct 17, 2020

• agda

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

  programming-language dependent-types proof-assistant type-theory agda
  Haskell 171 1,363 693 (25 issues need help) 31 Updated Oct 16, 2020

• agda-stdlib

  The Agda standard library

  library proof agda
  Agda 144 335 155 21 Updated Oct 16, 2020

• categories-examples

  Examples of categorical structures
  Agda MIT 3 3 0 2 Updated Oct 15, 2020

• agda-categories

  A new Categories library for Agda
  Agda MIT 21 150 28 (3 issues need help) 3 Updated Oct 14, 2020

• package-index

  The Agda Package Index

  agda package-index apkg
  0 9 4 0 Updated Sep 18, 2020

• agda-pkg

  apkg - package manager for Agda

  package-manager agda lightweight-dependency-management
  Python 4 29 0 0 Updated Sep 11, 2020

• fix-whitespace

  Fixes whitespace issues
  Haskell 2 1 2 1 Updated Aug 25, 2020

• guarded
  0 6 0 0 Updated Jun 18, 2020

• ooAgda

  Interactive and object-oriented programming in Agda using coinductive types
  Agda MIT 1 20 0 0 Updated Jun 4, 2020

• agda-github-syntax-highlighting

  Syntax highlighting used on GitHub
  Agda MIT 0 1 2 0 Updated Apr 15, 2020

• agda-spec

  Specification of Agda.
  TeX Unlicense 2 23 1 0 Updated Jan 13, 2019

• categories

  Forked from copumpkin/categories

  Categories parametrized by morphism equality, in Agda
  Agda 26 6 0 0 Updated Nov 25, 2018

• agda-system-io

  Bindings to Haskell's IO monad which respect Agda's semantics
  Agda MIT 2 23 18 0 Updated Nov 14, 2018

• agda-data-bindings

  Agda bindings for low-level datatypes such as raw naturals and bytestrings
  Agda MIT 0 5 0 0 Updated Nov 14, 2018

• agda-web-semantic

  Agda libraries for the semantic web
  Agda MIT 1 20 2 0 Updated Nov 14, 2018

• agda-ocaml

  OCaml backend for Agda
  Haskell 3 38 1 0 Updated Oct 4, 2018

• agda-frp-js

  ECMAScript back end for Functional Reactive Programming in Agda
  Agda 8 86 3 0 Updated Oct 19, 2017

• agda-ghc-names

  Tool for making sense of the Haskell code generated by the Agda compiler
  Haskell MIT 1 4 0 0 Updated Mar 23, 2017

• agda-uhc

  UHC backend for Agda
  Haskell MIT 0 2 6 0 Updated Feb 24, 2017

• agda-frp-ltl

  An implementation of Functional Reactive Programming
  Agda MIT 1 37 1 0 Updated Mar 2, 2015

• agda-finite-prover

  Library for proving propositions quantified over finite sets
  Agda 1 8 2 0 Updated Dec 27, 2013

• agda-assoc-free

  An implementation of "Associativity for Free"
  MIT 1 9 0 0 Updated Nov 21, 2011

• agda-text-xml

  Simple bindings for parsing, processing and serializing XML
  MIT 0 3 0 0 Updated May 25, 2011

• agda-web-uri

  Simple bindings for parsing, processing and serializing URIs
  Haskell MIT 0 4 0 0 Updated May 25, 2011

• agda-makefile

  An makefile with lightweight dependency management
  MIT 0 4 0 0 Updated May 25, 2011

• bitvector

  Forked from copumpkin/bitvector

  glguy's binary numbers with some extra stuff
  5 2 0 0 Updated Sep 21, 2010