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
iokasimov / tictactoe Star 5 Code Issues Pull requests A game written using free monads, representable functors, adjunctions and lens free lens representable adjunctions Updated Dec 30, 2017 Haskell
ibrahimcesar / category-theory-for-the-javascript-typescript-developers Sponsor Star 4 Code Issues Pull requests 🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable. javascript typescript functional-programming dsl composition monad functor category-theory educational fp-ts adjunctions category-theory-for-programmers Updated Nov 27, 2025 TypeScript
andresilmor / BSc-IC-Graphs-with-List-of-Adjunctions Star 0 Code Issues Pull requests Adaptation of a application that used Graphs with Matrix of Adjunctions to List of Adjunctions. university csharp graph university-project windows-forms adjunctions Updated Sep 30, 2021 C#