recursion
Recursion
Exploring recursion schemes in a functional programming language
Recursion schemes in ATS
9 stars
3 watching
0 forks
Language: ATS
last commit: almost 3 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| A set of recursion techniques for functional programming in Idris | 64 |
| A recursion library for functional programming in Scala | 388 |
| Provides higher-order functions for abstracting common recursion patterns in Haskell | 339 |
| A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
| An open-source tool to count lines of source code in multiple programming languages. | 249 |
| A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
| A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types | 22 |
| A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
| A fast parser combinator library for efficient text parsing in network protocols and file formats | 513 |
| A library providing a type and tools to separate recursion from business logic in Haskell | 87 |
| Implementations of basic machine learning algorithms in Haskell | 57 |
| A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
| A set of V language implementations of commonly used Haskell list functions and data structures | 4 |
| A high-speed recursive proof system for cryptographic primitives | 722 |
| A library of recursion schemes compatible with flow-static-land for functional programming in JavaScript | 22 |