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: 5 months ago haskellrecursion-schemes
Related projects:
Repository | Description | Stars |
---|---|---|
| A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
| A total recursion scheme library for Dhall | 65 |
| A recursion library for functional programming in Scala | 388 |
| Provides higher-order functions for abstracting common recursion patterns in Haskell | 339 |
| Exploring recursion schemes in a functional programming language | 9 |
| A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
| A library that provides a modular and reusable framework for dataflow analysis and transformation in programming languages | 73 |
| A Haskell package providing alternative operators to improve code readability | 200 |
| A collection of lemmas and tactics about lists and binary relations for a proof assistant | 30 |
| A Haskell implementation of real-time protocols for web applications, enabling client-server communication and event-based interactions. | 149 |
| An efficient serialization library with support for various data types and formats | 734 |
| A tool for serializing function calls and integrating Haskell with various programming languages via dynamic libraries and serialization | 391 |
| A set of recursion techniques for functional programming in Idris | 64 |
| A collection of algorithms implemented in modern JavaScript with an emphasis on clarity and simplicity. | 2,186 |
| A collection of exercises to drill into recursive programming in Haskell. | 127 |