profunctor-composition

Here are 3 public repositories matching this topic...

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

Prototype of the idea of profunctor user interfaces for PureScript Web UIs

🐱 Streamline Bitcoin by removing non-monetary UTXOs with this BIP draft, aimed at enhancing efficiency and reducing unnecessary blockchain clutter.

game books lisp emacs book common-lisp meme gnome gnome-shell functor category-theory neural-networks lenses mdx profunctor-composition gatsby-theme phaser3 bongo-cat

Add a description, image, and links to the profunctor-composition topic page so that developers can more easily learn about it.

To associate your repository with the profunctor-composition topic, visit your repo's landing page and select "manage topics."