recursion
Recursion
Exploring recursion schemes in a functional programming language
Recursion schemes in ATS
9 stars
3 watching
0 forks
Language: ATS
last commit: over 2 years ago
Linked from 1 awesome list
passy/awesome-recursion-schemesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| vmchale/recursion_schemes | A set of recursion techniques for functional programming in Idris | 64 |
 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 | 337 |
 sellout/recursion-scheme-talk | A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
| vmchale/polyglot | An open-source tool to count lines of source code in multiple programming languages. | 249 |
 m8pple/hls_recurse | A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
 aedans/katalyst | A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types | 22 |
| vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
 haskell/attoparsec | A fast Haskell parser combinator library for efficient text and binary data parsing | 513 |
| sellout/yaya | A library providing a type and tools to separate recursion from business logic in Haskell | 87 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 kevindasilvas/vhs | A set of V language implementations of commonly used Haskell list functions and data structures | 4 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
 josephjunker/static-land-recursion-schemes | A library of recursion schemes compatible with flow-static-land for functional programming in JavaScript | 22 |