10 skills found
palatable / LambdaFunctional patterns for Java
LukaJCB / Cats BioCats Bifunctor IO
ekmett / BifunctorsHaskell 98 bifunctors, bifoldables and bitraversables
YBogomolov / Kleisli TsKleisli arrows for bifunctor IO
gelisam / N Ary FunctorA single typeclass for Functor, Bifunctor, Trifunctor, etc.
japesinator / Idris BifunctorsA small bifunctor library for idris
tmccarthy / BfectSome bifunctor IO type classes
purescript / Purescript BifunctorsBifunctors and biapplicatives
jacobstanley / Transformers BifunctorsBifunctors over monad transformers.
byorgey / Lean Core DumpMinimal example showing core dump in Lean4 with import of Mathlib.Control.Bifunctor
