amintimany / Categories Star 100 Code Issues Pull requests A formalization of category theory in the Coq proof assistant. library coq proof-assistant category-theory coq-formalization categories adjunctions kan-extensions topos Updated Nov 4, 2024 Coq
jcouyang / meow Star 43 Code Issues Pull requests Discussions Catless Category Theory in Dotty/Scala 3 meow ~ scala category-theory dotty kan-extensions Updated Mar 7, 2023 Scala
fraware / lean-endkan Star 1 Code Issues Pull requests Practical Automation for Ends, Coends, and Kan Extensions in Lean 4 category-theory ends kan-extensions lean4 coends Updated Jul 15, 2026 Lean