profunctor

There are 0 repository under profunctor topic.

• jwiegley / category-theory

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

  category-theorycoqmonadprofunctorcomonadsmonoidprofunctor-compositionconstructioncategorycategoriesfunctorcartesiancartesian-closed-category
  Language:Coq 761

• alber70g / ortum

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

  profunctorstate-management
  Language:TypeScript 30

• vmchale / linear

  Linear lenses in Blodwen

  idrisblodwenlenslensesprofunctor-opticsprofunctorprofunctorslinear-types
  Language:Idris 13

• 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

  scalapromonadfree-algebraprofunctor
  Language:Scala 3

• davidgarland / lean-profunctors

  A port of profunctors from Haskell to Lean 4.

  leanlean4profunctorprofunctors
  Language:Lean 1

• hgiesel / ts-optics

  Reference implementation of Profunctor Optics in Typescript

  profunctoropticstypescripttslensprism
  Language:TypeScript

• mtumilowicz / scala212-category-theory-profunctor-reader

  Implementation of Reader as a example of profunctor.

  profunctorscala
  Language:Scala