recursion-schemes
There are 45 repositories under recursion-schemes topic.
xgrommx/awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
passy/awesome-recursion-schemes
Resources for learning and using recursion schemes.
precog/matryoshka
Generalized recursion schemes and traversals for Scala.
mmenestret/fp-resources
Functional programming great resources
higherkindness/droste
recursion schemes for cats; to iterate is human, to recurse, divine
sellout/yaya
Yet another yet another recursion scheme library in Haskell.
sellout/dada
A total recursion scheme library for Dhall
vmchale/recursion_schemes
Recursion schemes for Idris
tpolecat/cofree
Fun and Games with Fix, Cofree, and Doobie
aedans/Katalyst
Kotlin recursion schemes with Arrow
DavidGregory084/schemes
A recursion schemes micro-library
ceedubs/irrec
composable regular expressions based on Kleene algebras and recursion schemes
nobrakal/tungsten
Bring fusion to everyone
purefunctor/purescript-ssrs
Stack-safe recursion schemes on dissectible data structures.
disnet/scrap-js
A declarative data type construction and manipulation library for JavaScript
pomadchin/path-to-recschemes
A path to Recursion Schemes
ProjectSavanna/bananas
Recursion schemes in Standard ML
romac/lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
AvinandanBose/Time_Complexity_Calculation_Of_Recursion
Here is all about Time Complexity Calculation of Recursion .
Adam-Vandervorst/RecursionSchemes
A simple, soon multilingual, repository for learning about recursion schemes.
anton-trunov/fold-tutorial-talk
Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
bosecodes/CP-by-bosecodes
A comprehensive list of question and solutions of typical problems that typically form the first step of getting into core programming.
niqdev/kotlin-fun
Kotlin notes
cdepillabout/recursion-schemes-two
A small repository for playing around with recursion-schemes.
cutsea110/monadic-recursion-schemes
Recursion Schemes for Monadic version.
dcastrop/poly-lang
Experiments with deep embedding a point-free language with polynomial functors
druimalban/recursr
Generalised folds and unfolds for R
hosnimed/recursion-schemes-matryoshka-intro
Sample introduction to recursive schemes and matryoshka (Library that specializes on implementing recursion schemes on fixed-point types of recursive structures.)
mckayb/phantasy-recursion-schemes
Common recursion schemes implemented in php.
danieljtrowbridge/th-base-functors
Base functors for Template Haskell ADTs.
furtherun/big-integer-multiplication
Three approaches to big integer multiplication by Rust. 大整数乘法（递归法）
Pl4tt/algorithms_and_datastructures
Many different Algorithms and data structures written in Python and other languages.
mbar0075/Knowledge-Representation-and-Reasoning
Deliverables relating to the Knowledge Representation and Reasoning University Unit