stefaniatadama's Stars
danelahman/Directed-Containers
An Agda formalisation of the theory of directed containers
HoTT/M-types
A formalization of M-types in Agda
lean-catLogic/formalization
Formalization of Categorical Logic in the Lean proof assistant
LuisScoccola/integers-as-HITs
Formalization of main results of [The Integers as a Higher Inductive Type. Altenkirch, Scoccola].
bgavran/Category_Theory_Resources
List of resources for learning Category Theory
prathyvsh/category-theory-resources
Resources for learning Category Theory for an enthusiast
petervanderdoes/gitflow-avh
AVH Edition of the git extensions to provide high-level repository operations for Vincent Driessen's branching model