yaya
Recursion library
A library providing a type and tools to separate recursion from business logic in Haskell
Yet another yet another recursion scheme library in Haskell.
87 stars
6 watching
4 forks
Language: Haskell
last commit: almost 2 years agohaskellrecursion-schemes
Related projects:
| Repository | Description | Stars |
|---|---|---|
| sellout/recursion-scheme-talk | A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
| sellout/dada | A total recursion scheme library for Dhall | 65 |
 higherkindness/droste | A recursion library for functional programming in Scala | 388 |
 recursion-schemes/recursion-schemes | Provides higher-order functions for abstracting common recursion patterns in Haskell | 339 |
 vmchale/recursion | Exploring recursion schemes in a functional programming language | 9 |
 m8pple/hls_recurse | A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
 haskell/hoopl | A library that provides a modular and reusable framework for dataflow analysis and transformation in programming languages | 73 |
 tfausak/flow | A Haskell package providing alternative operators to improve code readability | 200 |
 vafeiadis/hahn | A collection of lemmas and tactics about lists and binary relations for a proof assistant | 30 |
 ocharles/engine.io | A Haskell implementation of real-time protocols for web applications, enabling client-server communication and event-based interactions. | 149 |
 nixman/yas | An efficient serialization library with support for various data types and formats | 734 |
 nh2/call-haskell-from-anything | A tool for serializing function calls and integrating Haskell with various programming languages via dynamic libraries and serialization | 391 |
| vmchale/recursion_schemes | A set of recursion techniques for functional programming in Idris | 64 |
 jiayihu/pretty-algorithms | A collection of algorithms implemented in modern JavaScript with an emphasis on clarity and simplicity. | 2,186 |
 kazu-yamamoto/recursion-drill | A collection of exercises to drill into recursive programming in Haskell. | 127 |