At the beginning of a long road...
-
Updated
Mar 25, 2026 - Scala
#
category-theory
Here are 37 public repositories matching this topic...
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
-
Updated
Mar 29, 2026 - Scala
A DSL for the internal language of a topos
-
Updated
Mar 14, 2026 - Scala
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
-
Updated
Dec 7, 2024 - Scala
A graphical editor for graph-like structures
-
Updated
Dec 18, 2023 - Scala
This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
-
Updated
Dec 15, 2023 - Scala
Talks on category-parametric programming.
-
Updated
Dec 15, 2023 - Scala
Hyperstructures is a scala library to implement data structures coming from category theory
-
Updated
Jun 20, 2023 - Scala
Catless Category Theory in Dotty/Scala 3 meow ~
-
Updated
Mar 7, 2023 - Scala
Implementation and property-based verification of functional programming abstractions' laws
-
Updated
Nov 23, 2022 - Scala
Category theory for pure functional programming in Scala - materials for course participants
-
Updated
Jan 28, 2022 - Scala
Source code of 'Category Theory in Functional Programming' workshops
-
Updated
Jan 22, 2020 - Scala
An attempt to translate ekmett's beautiful Kan library from Haskell to Scala.
-
Updated
Jan 10, 2020 - Scala
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."