An axiom-free formalization of category theory in Coq for personal study and practical work
-
Updated
Jul 31, 2024 - Coq
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
Add a description, image, and links to the profunctor topic page so that developers can more easily learn about it.
To associate your repository with the profunctor topic, visit your repo's landing page and select "manage topics."