recursion-schemes

There are 4 repositories under recursion-schemes topic.

xgrommx / awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
awsome awesome-list functional-languages awesome-functional-programming recursion-schemes recursion f-algebras
3514
passy / awesome-recursion-schemes
Resources for learning and using recursion schemes.
awesome catamorphisms recursion-schemes
1273
precog / matryoshka
Generalized recursion schemes and traversals for Scala.
recursion-schemes algebra traversal recursive-structures fold
Language:Scala 818
mmenestret / fp-resources
Functional programming great resources
algebra category-theory free-monads functional-programming monad monad-transformers monoid recursion-schemes scala typeclass typeclasses
488
higherkindness / droste
recursion schemes for cats; to iterate is human, to recurse, divine
functional-programming recursion-schemes scala
Language:Scala 393
schema
traversable / schema
TypeScript schema compiler, rewriter
json-schema typescript recursion-schemes deep-clone deep-copy deep-equals arktype typebox valibot zod deep-equal
Language:TypeScript 124
sellout / yaya
Yet another yet another recursion scheme library in Haskell.
haskell recursion-schemes
Language:Haskell 89
sellout / dada
A total recursion scheme library for Dhall
dhall recursion-schemes
Language:Nix 66
vmchale / recursion_schemes
Recursion schemes for Idris
idris recursion-schemes idris-ecosystem control-flow recursion
Language:Idris 64
tpolecat / cofree
Fun and Games with Fix, Cofree, and Doobie
scala recursion-schemes fp functional-programming
Language:HTML 40
aedans / Katalyst
Kotlin recursion schemes with Arrow
recursion-schemes kotlin functional-programming recursive-structures arrow
Language:Kotlin 22
DavidGregory084 / schemes
A recursion schemes micro-library
recursion-schemes scala recursion catamorphisms functional-programming
Language:Scala 21
ceedubs / irrec
composable regular expressions based on Kleene algebras and recursion schemes
regular-expression recursion-schemes kleene-algebras scalacheck
Language:Scala 14
nobrakal / tungsten
Bring fusion to everyone
haskell optimization rewrite-rules recursion-schemes
Language:Haskell 14
purefunctor / purescript-ssrs
Stack-safe recursion schemes on dissectible data structures.
purescript recursion-schemes
Language:PureScript 13
disnet / scrap-js
A declarative data type construction and manipulation library for JavaScript
javascript recursion-schemes template-literals
Language:JavaScript 12
pomadchin / path-to-recschemes
A path to Recursion Schemes
scala recursion-schemes recursion
Language:Scala 10
ProjectSavanna / bananas
Recursion schemes in Standard ML
recursion recursion-schemes sml standard-ml
Language:Standard ML 8
romac / lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
fixed-points haskell lambda-calculus recursion-schemes
Language:Haskell 8
markandrus / effect-derive
Derive Covariant (Functor) instances and base functors for algebraic data types (ADTs)
covariant deriving effect functor recursion-schemes
Language:TypeScript 6
Adam-Vandervorst / RecursionSchemes
A simple, soon multilingual, repository for learning about recursion schemes.
cpp examples javascript python3 recursion-schemes scala3
Language:Scala 5
AvinandanBose / Time_Complexity_Calculation_Of_Recursion
Here is all about Time Complexity Calculation of Recursion .
algorithm algorithms algorithms-and-data-structures algorithms-datastructures data-structures data-structures-algorithms data-structures-and-algorithms recursion recursion-exercises recursion-problem recursion-schemes recursion-tree recursion-tree-visualiser recursive-algorithm wiki master-theorem master-thesis masters-theorem
5
xgrommx / purescript-experiments
recursion-schemes purescript f-algebras f-coalgebras fixed-point recursion
Language:PureScript 5
anton-trunov / fold-tutorial-talk
Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
coq fold recursion-schemes tutorial papers-we-love talk
Language:TeX 3
azanin / recursion-schemes
recursion-schemes recursion scala functional-programming
Language:Scala 2
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.
c programming basic-programming cpp recursion recursion-schemes iteration input-output while iterations array array-manipulations string string-manipulation dynamic-programming sorting-algorithms dsa greedy-algorithms dsa-algorithm dsa-learning-series
Language:C++ 2
niqdev / kotlin-fun
Kotlin notes
aws functional-programming json-schema kotlin ktor recursion-schemes serverless
Language:Kotlin 2
artkostm / adf-copy-activity-poc
adf avro azure-batch cats database doobie fp hacktoberfest jdbc oracle parquet recursion-schemes scala zio
Language:Scala 1
cdepillabout / recursion-schemes-two
A small repository for playing around with recursion-schemes.
recursion-schemes haskell
Language:Haskell 1
cutsea110 / monadic-recursion-schemes
Recursion Schemes for Monadic version.
monad recursion-schemes
Language:Haskell 1
dcastrop / poly-lang
Experiments with deep embedding a point-free language with polynomial functors
recursion-schemes haskell-application
Language:Coq 1
druimalban / recursr
Generalised folds and unfolds for R
haskell r recursion recursion-schemes category-theory applied-data-science
Language:R 1
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.)
matryoshka recursion-schemes
Language:Scala 1
mckayb / phantasy-recursion-schemes
Common recursion schemes implemented in php.
functional phantasy phantasy-recursion-schemes php recursion-schemes
Language:PHP 1
danieljtrowbridge / th-base-functors
Base functors for Template Haskell ADTs.
recursion-schemes template-haskell
Language:Haskell 0
laszlokorte / recursion-schemes
Introduction to recursion schemes (WIP)
functional-programming functors recursion-schemes
Language:HTML

recursion-schemes

xgrommx / awesome-functional-programming

passy / awesome-recursion-schemes

precog / matryoshka

mmenestret / fp-resources

higherkindness / droste

traversable / schema

sellout / yaya

sellout / dada

vmchale / recursion_schemes

tpolecat / cofree

aedans / Katalyst

DavidGregory084 / schemes

ceedubs / irrec

nobrakal / tungsten

purefunctor / purescript-ssrs

disnet / scrap-js

pomadchin / path-to-recschemes

ProjectSavanna / bananas

romac / lfc-haskell

markandrus / effect-derive

Adam-Vandervorst / RecursionSchemes

AvinandanBose / Time_Complexity_Calculation_Of_Recursion

xgrommx / purescript-experiments

anton-trunov / fold-tutorial-talk

azanin / recursion-schemes

bosecodes / CP-by-bosecodes

niqdev / kotlin-fun

artkostm / adf-copy-activity-poc

cdepillabout / recursion-schemes-two

cutsea110 / monadic-recursion-schemes

dcastrop / poly-lang

druimalban / recursr

hosnimed / recursion-schemes-matryoshka-intro

mckayb / phantasy-recursion-schemes

danieljtrowbridge / th-base-functors

laszlokorte / recursion-schemes