recursion_schemes
Recursion schemes
A set of recursion techniques for functional programming in Idris
Recursion schemes for Idris
64 stars
6 watching
5 forks
Language: Idris
last commit: over 6 years ago
Linked from 1 awesome list
control-flowidrisidris-ecosystemrecursionrecursion-schemes
passy/awesome-recursion-schemesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| vmchale/recursion | Exploring recursion schemes in a functional programming language | 9 |
 sellout/recursion-scheme-talk | A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
 recursion-schemes/recursion-schemes | Provides higher-order functions for abstracting common recursion patterns in Haskell | 337 |
| sellout/dada | A total recursion scheme library for Dhall | 65 |
 m8pple/hls_recurse | A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
 josephjunker/static-land-recursion-schemes | A library of recursion schemes compatible with flow-static-land for functional programming in JavaScript | 22 |
 higherkindness/droste | A recursion library for functional programming in Scala | 388 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 469 |
 idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
| sellout/yaya | A library providing a type and tools to separate recursion from business logic in Haskell | 87 |
 schemedoc/bibliography | Collects links to technical papers and theses on Scheme research | 150 |
 idris-hackers/idris-llvm | A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
 pollrobots/scheme | An interpreter for a Scheme programming language implemented in WebAssembly | 171 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
 francks/ringidris | This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language. | 20 |