Tangent bundle, vector space and Submanifold definition
A Prelude with names from category theory
Relational Algebra, now with more algebra!
Examples of the most important features of this languages.
Functional programming in Kotlin
Catless Category Theory in Dotty/Scala 3 meow ~
Tensor algebra abstract type interoperability setup
Software specification and verification system based on graph rewriting
Notes (in literate Haskell) from reading Category Theory for Programmers...
Starting code and proposed solution for Functional Structures Refactorin...
Bartosz Milewski great book on Category Theory implemented in scala, wit...
🏹 Bow Lite is a cross-platform library for Typed Functional Programming...
Course materials for Stanford's CS43: Functional Programming Paradigms
C3T: Crash Course Category Theory - A friendly non-mathematician's appro...
Provides free functors that are adjoint to functors that forget class co...