passy/awesome-recursion-schemes

Resources for learning and using recursion schemes.

Size: 56.6 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 1,198 - Forks: 56

higherkindness/droste

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

Language: Scala - Size: 1.43 MB - Last synced: 10 days ago - Pushed: 23 days ago - Stars: 384 - Forks: 51

ceedubs/irrec

composable regular expressions based on Kleene algebras and recursion schemes

Language: Scala - Size: 5.21 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 14 - Forks: 5

vmchale/recursion_schemes

Recursion schemes for Idris

Language: Idris - Size: 182 KB - Last synced: 10 days ago - Pushed: almost 6 years ago - Stars: 63 - Forks: 5

DavidGregory084/schemes

A recursion schemes micro-library

Language: Scala - Size: 43.9 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 21 - Forks: 4

artkostm/adf-copy-activity-poc

Language: Scala - Size: 54.7 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

niqdev/kotlin-fun

Kotlin notes

Language: Kotlin - Size: 1.45 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

precog/matryoshka

Generalized recursion schemes and traversals for Scala.

Language: Scala - Size: 6.5 MB - Last synced: 10 days ago - Pushed: about 4 years ago - Stars: 810 - Forks: 87

sellout/yaya

Yet another yet another recursion scheme library in Haskell.

Language: Haskell - Size: 399 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 86 - Forks: 4

xgrommx/purescript-experiments

Language: PureScript - Size: 23.4 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 5 - Forks: 0

xgrommx/awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

Size: 1.11 MB - Last synced: about 2 months ago - Pushed: 4 months ago - Stars: 3,414 - Forks: 303

sellout/dada

A total recursion scheme library for Dhall

Language: Nix - Size: 151 KB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 64 - Forks: 7

hermannhueck/exploring-recursion-schemes

Exploring Recursion Schemes

Language: Scala - Size: 93.8 KB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

azanin/recursion-schemes

Language: Scala - Size: 4.06 MB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced: 3 months ago - Pushed: about 4 years ago - Stars: 483 - Forks: 51

druimalban/recursr

Generalised folds and unfolds for R

Language: R - Size: 51.8 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

druimalban/ukclimate

Parse raw historical Met Office weather station data

Language: Haskell - Size: 19.5 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

nobrakal/tungsten

Bring fusion to everyone

Language: Haskell - Size: 4.21 MB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 13 - Forks: 0

danieljtrowbridge/th-base-functors

Base functors for Template Haskell ADTs.

Language: Haskell - Size: 5.86 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

danieljtrowbridge/mutu

Mutumorphisms of arbitrarily many mutually recursive functions.

Language: Haskell - Size: 10.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Adam-Vandervorst/RecursionSchemes

A simple, soon multilingual, repository for learning about recursion schemes.

Language: Scala - Size: 56.6 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - Forks: 1

pomadchin/path-to-recschemes

A path to Recursion Schemes

Language: Scala - Size: 25.4 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 10 - Forks: 0

AvinandanBose/Time_Complexity_Calculation_Of_Recursion

Here is all about Time Complexity Calculation of Recursion .

Size: 6.84 MB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 5 - Forks: 3

romac/lfc-haskell

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

Language: Haskell - Size: 42 KB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0

cutsea110/monadic-recursion-schemes

Recursion Schemes for Monadic version.

Language: Haskell - Size: 42 KB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

ProjectSavanna/bananas

Recursion schemes in Standard ML

Language: Standard ML - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 1

tpolecat/cofree

Fun and Games with Fix, Cofree, and Doobie

Language: HTML - Size: 348 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 38 - Forks: 6

aedans/Katalyst

Kotlin recursion schemes with Arrow

Language: Kotlin - Size: 170 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 22 - Forks: 1

purefunctor/purescript-ssrs

Stack-safe recursion schemes on dissectible data structures.

Language: PureScript - Size: 94.7 KB - Last synced: 27 days ago - Pushed: about 2 years ago - Stars: 12 - Forks: 1

furtherun/big-integer-multiplication

Three approaches to big integer multiplication by Rust. 大整数乘法（递归法）

Language: Rust - Size: 51.3 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

tlazaro/avro-recursion

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

Language: Scala - Size: 40 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

artkostm/soapmorph

A PoC for SOAP client using recursion scheme

Language: Scala - Size: 39.1 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

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.

Language: C++ - Size: 183 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 3

disnet/scrap-js

A declarative data type construction and manipulation library for JavaScript

Language: JavaScript - Size: 307 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 11 - Forks: 0

ayushi19031/Algorithms_and_code_in_java

Language: Java - Size: 590 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

cdepillabout/recursion-schemes-two

A small repository for playing around with recursion-schemes.

Language: Haskell - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

dcastrop/poly-lang

Experiments with deep embedding a point-free language with polynomial functors

Language: Coq - Size: 55.7 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

mckayb/phantasy-recursion-schemes

Common recursion schemes implemented in php.

Language: PHP - Size: 31.3 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

anton-trunov/fold-tutorial-talk

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

Language: TeX - Size: 915 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

clayrat/idris-recursion

Language: Idris - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Abhiroop/recur-scheme

Repository for experimenting with various types of recursion schemes.

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

Chouffe/recursion-scheme

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

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0