-
Updated
Mar 5, 2018 - HTML
#
category-theory
Here are 422 public repositories matching this topic...
Category Theory for Programmers and FP in Scala - exercises
-
Updated
May 14, 2018 - Scala
A Functorial Formulation of Nuclear Fission: Category theory meets nuclear physics with type-safe Haskell implementation
-
Updated
Dec 11, 2025 - Haskell
Some nice POCs of categorical constructions in CPP
-
Updated
Aug 29, 2018
Examples and exercises from Category Theory for Programmers
-
Updated
Nov 15, 2021 - Jupyter Notebook
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
kotlin functional-programming annotation-processor category-theory code-generation typeclasses higher-kinded-types
-
Updated
Aug 19, 2021 - Kotlin
A brief cheatsheet for monads and related concepts
monads haskell functional-programming type-theory monad functor category-theory monoid monoids haskell-learning functors endofunctors
-
Updated
Mar 6, 2025
Production-ready Claude Code plugin for category theory-based meta-prompting (v2.4.0) with 6 categorical structures, 4 composition operators, error handling, and quality visualization
plugin comonads monads functional-programming category-theory ai-agents functors prompt-engineering meta-prompting claude-code
-
Updated
Dec 8, 2025 - Shell
Attempts to embed lambda-mu semantics in Haskell
-
Updated
Dec 26, 2020 - Haskell
-
Updated
Apr 26, 2024 - Kotlin
A composable toolkit for structured document manipulation
python markdown functional-programming ast category-theory composable cli-tool document-processing document-manipulation
-
Updated
Dec 4, 2025 - Python
javascript with monads and function composition
javascript identity monads functional js functional-programming functions academic functional-languages monad functor category-theory functional-js maybe category javascipt kleisli
-
Updated
Dec 24, 2018 - JavaScript
Brief and abbreviated answerse to the textbook Category Theory for Programmers
-
Updated
Sep 12, 2019
One core, any surface
typescript topology category-theory discrete-mathematics graph-theory sheaf-theory phase-space causal-graphs fine-grained-reactivity reactive-runtime graph-runtime
-
Updated
Dec 17, 2025 - TypeScript
Taking the confusing parts out of lens without sacrificing the power.
-
Updated
Jan 8, 2018 - Haskell
Zadania z Programowania Funkcyjnego; Haskell
-
Updated
Jul 2, 2019 - Haskell
Improve this page
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."