Top Agda repositories on GitHub
plfa.github.io
plfa
โAn introduction to programming language theory in Agdaโ
agda-stdlib
agda
โThe Agda standard libraryโ
cubical
โAn experimental library for Cubical Agdaโ
HoTT-Agda
HoTT
โDevelopment of homotopy type theory in Agdaโ
1lab
the1lab
โA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryโ
agda-categories
โA new Categories library for Agdaโ
cedille
โCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminationsโ
HoTT-Intro
EgbertRijke
โAn introductory course to Homotopy Type Theoryโ
learn-you-an-agda
liamoc
โLearn you an Agda (and achieve enlightenment)โ
agda-unimath
UniMath
โThe agda-unimath libraryโ
TypeTopology
martinescardo
โLogical manifestations of topological concepts, and other things, via the univalent point of view.โ
CS410-17
pigworker
โbeing the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclydeโ
HoTT-UF-Agda-Lecture-Notes
โLecture notes on univalent foundations of mathematics with Agdaโ
agda2hs
โCompiling Agda code to readable Haskellโ
categories
copumpkin
โCategories parametrized by morphism equality, in Agdaโ
TheHoTTGame
thehottgame
โAttracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTTโ
Books
ice1000
โMy slides and notesโ
agdarsec
gallais
โTotal Parser Combinators in Agdaโ
