xgrommx / awesome-functional-programming Star 3.5k Code Issues Pull requests Yet another resource for collecting articles, videos etc. regarding functional programming functional-languages recursion awsome recursion-schemes awesome-list f-algebras awesome-functional-programming Updated Jan 16, 2024
you-dont-need / You-Dont-Need-Loops Star 1.2k Code Issues Pull requests Avoid The One-off Problem, Infinite Loops, Statefulness and Hidden intent. fold fp recursion loops tail-recursion hacktoberfest f-algebras higher-order-function infinite-loops Updated Oct 15, 2024
typedefs / typedefs Star 372 Code Issues Pull requests Programming language agnostic type construction language based on polynomials. serialization types marshalling type-theory category-theory serialization-library f-algebras type-definitions Updated May 29, 2024 Idris
xgrommx / purescript-experiments Star 5 Code Issues Pull requests purescript recursion recursion-schemes fixed-point f-algebras f-coalgebras Updated Apr 15, 2018 PureScript
hablapps / azucar Star 5 Code Issues Pull requests Syntactic facilities to deal with algebras macros syntactic-sugar f-algebras Updated Feb 20, 2017 Scala
nebtrx / bartosz-algebras Star 1 Code Issues Pull requests A play yard for https://www.schoolofhaskell.com/user/bartosz/understanding-algebras haskell functor fixed-point f-algebras Updated Mar 24, 2017 Haskell
typedefs / site Star 0 Code Issues Pull requests Typedefs website types type-theory category-theory serialization-library f-algebras Updated Jan 9, 2023 CSS