profunctor

There are 7 repositories under profunctor topic.

jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Language:Coq761 20 1972
alber70g/ortum
Minimal unidirectional global state management library (less boilerplate heavy alternative for Redux)
Language:TypeScript30 4 01
vmchale/linear
Linear lenses in Blodwen
Language:Idris13 4 0
MateuszKubuszok/free-promonads
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
Language:Scala3 3 0
davidgarland/lean-profunctors
A port of profunctors from Haskell to Lean 4.
Language:Lean1 1 00
hgiesel/ts-optics
Reference implementation of Profunctor Optics in Typescript
Language:TypeScript2 0
mtumilowicz/scala212-category-theory-profunctor-reader
Implementation of Reader as a example of profunctor.
Language:Scala1 0