https://github.com/precog/matryoshka

Generalized recursion schemes and traversals for Scala.

algebra fold recursion-schemes recursive-structures traversal

Last synced: 02 Apr 2025

https://github.com/mmenestret/fp-resources

Functional programming great resources

algebra category-theory free-monads functional-programming monad monad-transformers monoid recursion-schemes scala typeclass typeclasses

Last synced: 16 Nov 2024

https://github.com/higherkindness/droste

recursion schemes for cats; to iterate is human, to recurse, divine

functional-programming recursion-schemes scala

Last synced: 10 Apr 2025

https://github.com/sellout/yaya

Yet another yet another recursion scheme library in Haskell.

haskell recursion-schemes

Last synced: 09 Apr 2025

https://github.com/sellout/dada

A total recursion scheme library for Dhall

dhall recursion-schemes

Last synced: 09 Apr 2025

https://github.com/vmchale/recursion_schemes

Recursion schemes for Idris

control-flow idris idris-ecosystem recursion recursion-schemes

Last synced: 25 Feb 2025

https://github.com/tpolecat/cofree

Fun and Games with Fix, Cofree, and Doobie

fp functional-programming recursion-schemes scala

Last synced: 21 Mar 2025

https://github.com/davidgregory084/schemes

A recursion schemes micro-library

catamorphisms functional-programming recursion recursion-schemes scala

Last synced: 09 Mar 2025

https://github.com/ceedubs/irrec

composable regular expressions based on Kleene algebras and recursion schemes

kleene-algebras recursion-schemes regular-expression scalacheck

Last synced: 09 Apr 2025

https://github.com/purefunctor/purescript-ssrs

Stack-safe recursion schemes on dissectible data structures.

purescript recursion-schemes

Last synced: 19 Mar 2025

https://github.com/disnet/scrap-js

A declarative data type construction and manipulation library for JavaScript

javascript recursion-schemes template-literals

Last synced: 11 Apr 2025

https://github.com/pomadchin/path-to-recschemes

A path to Recursion Schemes

recursion recursion-schemes scala

Last synced: 14 Feb 2025

https://github.com/romac/lfc-haskell

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

fixed-points haskell lambda-calculus recursion-schemes

Last synced: 07 Apr 2025

https://github.com/xgrommx/purescript-experiments

f-algebras f-coalgebras fixed-point purescript recursion recursion-schemes

Last synced: 02 Apr 2025

https://github.com/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 master-theorem master-thesis masters-theorem recursion recursion-exercises recursion-problem recursion-schemes recursion-tree recursion-tree-visualiser recursive-algorithm wiki

Last synced: 21 Mar 2025

https://github.com/anton-trunov/fold-tutorial-talk

Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading

coq fold papers-we-love recursion-schemes talk tutorial

Last synced: 14 Apr 2025

https://github.com/niqdev/kotlin-fun

Kotlin notes

aws functional-programming json-schema kotlin ktor recursion-schemes serverless

Last synced: 10 Apr 2025

https://github.com/azanin/recursion-schemes

functional-programming recursion recursion-schemes scala

Last synced: 06 Apr 2025

https://github.com/cdepillabout/recursion-schemes-two

A small repository for playing around with recursion-schemes.

haskell recursion-schemes

Last synced: 03 Mar 2025

https://github.com/druimalban/recursr

Generalised folds and unfolds for R

applied-data-science category-theory haskell r recursion recursion-schemes

Last synced: 19 Feb 2025

https://github.com/druimalban/ukclimate

Parse raw historical Met Office weather station data

haskell parsec recursion-schemes

Last synced: 19 Feb 2025

https://github.com/clayrat/idris-recursion

recursion-schemes

Last synced: 22 Apr 2025

https://github.com/abhiroop/recur-scheme

Repository for experimenting with various types of recursion schemes.

haskell recursion-schemes

Last synced: 18 Mar 2025

https://github.com/chouffe/recursion-scheme

Recursion Scheme in Haskell - Catamorpism/Anamorphism/Paramorphism/Apomorphism

haskell recursion-schemes

Last synced: 14 Mar 2025

https://github.com/tlazaro/avro-recursion

An exploration on using recursion-schemes to work with Avro schemas and data.

avro avro-schema avro-schemas recursion-schemes scala

Last synced: 13 Mar 2025