recursion_schemes
by vmchale
Recursion schemes for Idris
AI summary
Recursion schemes
A set of recursion techniques for functional programming in Idris
- stars
- 64
- forks
- 5
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Recursion
Exploring recursion schemes in a functional programming language
Recursion scheme tutorials
A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala.
Recursion helpers
Provides higher-order functions for abstracting common recursion patterns in Haskell
Recursion Scheme Library
A total recursion scheme library for Dhall
Recursive algorithm library
A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language
recursion schemes library
A library of recursion schemes compatible with flow-static-land for functional programming in JavaScript
recursion library
A recursion library for functional programming in Scala
Idris compiler
Provides a JVM backend for the Idris programming language.
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Recursion library
A library providing a type and tools to separate recursion from business logic in Haskell
Scheme bibliography
Collects links to technical papers and theses on Scheme research
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
Scheme interpreter
An interpreter for a Scheme programming language implemented in WebAssembly
Proof system
A high-speed recursive proof system for cryptographic primitives
Equivalence solver
This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions recursion_schemes.
