Agda is a dependently typed programming language / interactive theorem prover.
-
Updated
Aug 10, 2020 - Haskell
#
agda
Here are 146 public repositories matching this topic...
An introductory course to Homotopy Type Theory
-
Updated
Jul 24, 2020 - Agda
Lecture notes on univalent foundations of mathematics with Agda
dependent-types
type-theory
agda
lecture-notes
mltt
homotopy-type-theory
univalent-foundations
univalent-mathematics
hott-uf
martin-lof-type-theory
univalence-axiom
function-extensionality
propositional-truncation
univalent-type-theory
-
Updated
Jun 29, 2020 - Agda
A curated set of links to formal methods involving provable code.
-
Updated
Jul 23, 2019
A SuperCompiler for Martin-Löf's Type Theory
-
Updated
Jun 8, 2020 - Scala
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
type-theory
agda
ordinal
homotopy-type-theory
univalent-foundations
constructive-mathematics
compact-type
totally-separated-type
injective-type
searchable-set
univalent-mathematics
-
Updated
Aug 7, 2020 - Agda
A workshop on learning Agda with minimal prerequisites.
-
Updated
May 26, 2016 - Agda
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
language
haskell
lisp
emacs
modules
records
ocaml
metaprogramming
coq
agda
phd
typeclasses
first-class-citizens
canonical-structures
-
Updated
Jul 20, 2020 - TeX
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
-
Updated
Mar 7, 2020 - Agda
A formalization of category theory in cubical Agda
-
Updated
May 24, 2020 - Agda
A TACtic library for Agda
-
Updated
Mar 14, 2019 - Agda
Modeling Ancient Greek Grammar
-
Updated
May 11, 2018 - Agda
Proof automation – for Agda, in Agda.
-
Updated
Oct 8, 2018 - Agda
A fast, easy-to-use ring solver for agda with step-by-step solutions
-
Updated
Nov 21, 2019 - Agda
IO using sized types and copatterns
-
Updated
Oct 1, 2019 - Agda
apkg - package manager for Agda
-
Updated
Jul 1, 2020 - Python
Deciding Presburger arithmetic in agda
-
Updated
Dec 23, 2019 - Agda
Basics of the dependently-typed functional language Agda ^_^
-
Updated
Apr 29, 2020 - Agda
wherein I implement several substructural logics in Agda
-
Updated
Oct 8, 2018 - Agda
Category theory applied to functional programming (undergraduate project)
-
Updated
Feb 17, 2019 - TeX
Improve this page
Add a description, image, and links to the agda topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."