dada
Recursion Scheme Library
A total recursion scheme library for Dhall
A total recursion scheme library for Dhall
65 stars
8 watching
7 forks
Language: Nix
last commit: 3 months ago
Linked from 2 awesome lists
dhallrecursion-schemes
passy/awesome-recursion-schemesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| sellout/recursion-scheme-talk | A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala. | 217 |
| sellout/yaya | A library providing a type and tools to separate recursion from business logic in Haskell | 87 |
 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 |
 nadrieril/dhall-rust | An implementation of Dhall, a programmable configuration language, in Rust. | 306 |
 dhall-lang/dhall-to-cabal | Converts Dhall expressions into Cabal files used in Haskell package management | 100 |
 recursion-schemes/recursion-schemes | Provides higher-order functions for abstracting common recursion patterns in Haskell | 339 |
 formationai/dhall-bhat | A library that provides a standardized way of expressing data types and operations in Dhall programming language. | 66 |
| vmchale/recursion | Exploring recursion schemes in a functional programming language | 9 |
 m8pple/hls_recurse | A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language | 5 |
| dhall-lang/dhall-haskell | Provides Haskell bindings to Dhall, a configuration language used in various projects. | 921 |
 regadas/github-actions-dhall | Tool for templating and standardizing GitHub Action workflow definitions with Dhall language | 114 |
 gaelreyrol/dhall-resume | A JSON Resume format built on top of the Dhall language and Nix package manager | 6 |
| dhall-lang/vscode-language-dhall | Adds syntax highlighting support to VS Code for the Dhall programming language | 18 |
 precog/matryoshka | A library providing generalized recursion schemes and traversals for recursive data structures in Scala. | 811 |