profunctor topic
List
profunctor repositories
category-theory
735
Stars
67
Forks
Watchers
An axiom-free formalization of category theory in Coq for personal study and practical work
ortum
29
Stars
1
Forks
Watchers
Minimal unidirectional global state management library (less boilerplate heavy alternative for Redux)