An opinionated F# Library for error handling
A lightweight, distinctly Scala take on functional abstractions, with ti...
Abstractions from Category theory with simple description & implementati...
Programming language agnostic type construction language based on polyno...
A daily digest of the articles or videos I've found interesting, that I ...
Categorical Query Language IDE
formally verified category theory library
A ReasonML/Ocaml library for category theory and abstract algebra
The agda-unimath library
Examples with Functional JavaScript, following Professor Frisby's course
List of resources about foundational knowledge for programmers (supposed...
CQL: Categorical Query Language implementation in Haskell
Thoughts on adjoint, norm and such.
Categories parametrized by morphism equality, in Agda
A naive approach to functional programming using TypeScript