9 repository-uri
Awesome GitHub RepositoriesLibrary Implementations
Code libraries providing recursion schemes and functional combinators for various programming languages.
Explore 9 awesome GitHub repositories matching part of an awesome list · Library Implementations. Refine with filters or upvote what's useful.
Awesome Library Implementations GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- slamdata/matryoshka
slamdata/matryoshka
Generalized folds, unfolds, and traversals for fixed point data structures in Scala.
Generalized folds and traversals for fixed-point data structures in Scala.
Scala - andyscott/droste
andyscott/droste
Droste is a recursion library for Scala.
Functional recursion schemes implementation for Scala using the Cats library.
Scala - ekmett/recursion-schemes
ekmett/recursion-schemes
Generalized bananas, lenses and barbed wire
The canonical library for recursion schemes in the Haskell ecosystem.
Haskell - sellout/recursion-scheme-talk
sellout/recursion-scheme-talk
Various talks I’ve given on using recursion schemes in FP projects in Haskell and Scala.
Provides a comprehensive map and slide decks for learning recursion schemes.
- sellout/dada
sellout/dada
A total recursion scheme library for Dhall
A library providing recursion scheme functionality for the Dhall configuration language.
Nix - aedans/katalyst
aedans/Katalyst
Katalyst
A Kotlin implementation utilizing lightweight higher-kinded polymorphism.
Kotlin - josephjnk/static-land-recursion-schemes
JosephJNK/static-land-recursion-schemes
static-land-recursion-schemes
Recursion schemes for JavaScript and Flow using static-land style.
JavaScript - vmchale/recursion
vmchale/recursion
Sum a list of integers using a catamorphism:
Demonstration and implementation of recursion schemes for the ATS language.
ATS - slamdata/purescript-matryoshka
slamdata/purescript-matryoshka
Generalized folds, unfolds, and traversals for fixed point data structures in PureScript. (A port of Matryoshka).
A port of generalized recursion schemes for the PureScript language.
