traversable/schema

A lightweight, modular TypeScript schema library with opt-in power tools

Language: TypeScript - Size: 2.94 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

xgrommx/awesome-functional-programming

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

Size: 1.11 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 3,498 - Forks: 305

higherkindness/droste

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

Language: Scala - Size: 1.48 MB - Last synced at: about 8 hours ago - Pushed at: 20 days ago - Stars: 390 - Forks: 52

passy/awesome-recursion-schemes

Resources for learning and using recursion schemes.

Size: 56.6 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 1,244 - Forks: 57

precog/matryoshka

Generalized recursion schemes and traversals for Scala.

Language: Scala - Size: 6.5 MB - Last synced at: about 2 hours ago - Pushed at: about 5 years ago - Stars: 816 - Forks: 88

sellout/yaya

Yet another yet another recursion scheme library in Haskell.

Language: Haskell - Size: 560 KB - Last synced at: 3 days ago - Pushed at: 28 days ago - Stars: 88 - Forks: 4

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 489 - Forks: 51

markandrus/effect-derive

Derive Covariant (Functor) instances and base functors for algebraic data types (ADTs)

Language: TypeScript - Size: 138 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0

sellout/dada

A total recursion scheme library for Dhall

Language: Nix - Size: 175 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 66 - Forks: 8

AvinandanBose/Time_Complexity_Calculation_Of_Recursion

Here is all about Time Complexity Calculation of Recursion .

Size: 6.84 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 3

niqdev/kotlin-fun

Kotlin notes

Language: Kotlin - Size: 1.68 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

tpolecat/cofree

Fun and Games with Fix, Cofree, and Doobie

Language: HTML - Size: 348 KB - Last synced at: about 8 hours ago - Pushed at: over 8 years ago - Stars: 40 - Forks: 6

pomadchin/path-to-recschemes

A path to Recursion Schemes

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

Pl4tt/algorithms_and_datastructures

Many different Algorithms and data structures written in Python and other languages.

Language: Python - Size: 47.9 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

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 at: 28 days ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

vmchale/recursion_schemes

Recursion schemes for Idris

Language: Idris - Size: 182 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 63 - Forks: 5

artkostm/adf-copy-activity-poc

Language: Scala - Size: 54.7 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

hermannhueck/exploring-recursion-schemes

Exploring Recursion Schemes

Language: Scala - Size: 93.8 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ProjectSavanna/bananas

Recursion schemes in Standard ML

Language: Standard ML - Size: 6.84 KB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1

druimalban/recursr

Generalised folds and unfolds for R

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

druimalban/ukclimate

Parse raw historical Met Office weather station data

Language: Haskell - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nobrakal/tungsten

Bring fusion to everyone

Language: Haskell - Size: 4.21 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 0

danieljtrowbridge/th-base-functors

Base functors for Template Haskell ADTs.

Language: Haskell - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

danieljtrowbridge/mutu

Mutumorphisms of arbitrarily many mutually recursive functions.

Language: Haskell - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year 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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

romac/lfc-haskell

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

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

cutsea110/monadic-recursion-schemes

Recursion Schemes for Monadic version.

Language: Haskell - Size: 42 KB - Last synced at: 24 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

aedans/Katalyst

Kotlin recursion schemes with Arrow

Language: Kotlin - Size: 170 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 1

DavidGregory084/schemes

A recursion schemes micro-library

Language: Scala - Size: 43.9 KB - Last synced at: 8 days ago - Pushed at: almost 5 years ago - Stars: 21 - Forks: 4

purefunctor/purescript-ssrs

Stack-safe recursion schemes on dissectible data structures.

Language: PureScript - Size: 94.7 KB - Last synced at: about 2 months ago - Pushed at: about 3 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 at: about 2 years ago - Pushed at: almost 3 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 at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

artkostm/soapmorph

A PoC for SOAP client using recursion scheme

Language: Scala - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ceedubs/irrec

composable regular expressions based on Kleene algebras and recursion schemes

Language: Scala - Size: 5.21 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 6

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 at: about 2 years ago - Pushed at: almost 4 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 at: about 1 month ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 0

xgrommx/purescript-experiments

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

ayushi19031/Algorithms_and_code_in_java

Language: Java - Size: 590 KB - Last synced at: about 2 years ago - Pushed at: almost 5 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 at: about 11 hours ago - Pushed at: almost 8 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 at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

mckayb/phantasy-recursion-schemes

Common recursion schemes implemented in php.

Language: PHP - Size: 31.3 KB - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

azanin/recursion-schemes

Language: Scala - Size: 4.06 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

clayrat/idris-recursion

Language: Idris - Size: 1000 Bytes - Last synced at: 21 days ago - Pushed at: about 7 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 at: about 2 months ago - Pushed at: almost 8 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 at: 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0