52 skills found · Page 1 of 2
agda / Agda StdlibThe Agda standard library
agda / CubicalAn experimental library for Cubical Agda
agda / Agda CategoriesA new Categories library for Agda
UniMath / Agda UnimathThe agda-unimath library
UlfNorell / Agda PreludeProgramming library for Agda
jsiek / Abstract Binding TreesAbstract binding trees (abstract syntax trees plus binders), as a library in Agda
effectfully / OTTObservational Type Theory as an Agda library
conal / FelixAgda category theory library for denotational design
cedille / IalThe Iowa Agda Library
jespercockx / AtacaA TACtic library for Agda
ualib / Agda AlgebrasThe Agda Universal Algebra Library (html docs available at the url below)
oisdk / Agda Ring SolverA fast, easy-to-use ring solver for agda with step-by-step solutions
pcapriotti / Agda BaseBase library for HoTT in Agda
effectfully / GenericA library for doing generic programming in Agda
metaborg / Linear.agdaA library and case-study for linear, intrinsically-typed interpreters in Agda
MatthewDaggitt / Agda RoutingAn Agda library for reasoning about asynchronous iterative algorithms and network routing problems
agda-attic / Agda Web SemanticAgda libraries for the semantic web
jmchapman / Relative MonadsRelative Monad Library for Agda
JorisCeulemans / SikkelMultimode simple type theory as an Agda library.
lane-core / KitcatKitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda