An axiom-free formalization of category theory in Coq for personal study and practical work

Minimal unidirectional global state management library (less boilerplate heavy alternative for Redux)

Linear lenses in Blodwen

I have no idea what I'm doing, by using concepts from this repo you are risking being called stupid or sth by CT people

A port of profunctors from Haskell to Lean 4.

Reference implementation of Profunctor Optics in Typescript

Implementation of Reader as a example of profunctor.