dada
by sellout
A total recursion scheme library for Dhall
AI summary
Recursion Scheme Library
A total recursion scheme library for Dhall
- stars
- 65
- forks
- 7
- watching
- 8
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Recursion scheme tutorials
A collection of resources and talks on using recursion schemes in functional programming languages like Haskell and Scala.
Recursion library
A library providing a type and tools to separate recursion from business logic in Haskell
Recursion schemes
A set of recursion techniques for functional programming in Idris
recursion library
A recursion library for functional programming in Scala
config language
An implementation of Dhall, a programmable configuration language, in Rust.
Package converter
Converts Dhall expressions into Cabal files used in Haskell package management
Recursion helpers
Provides higher-order functions for abstracting common recursion patterns in Haskell
Dhall framework
A library that provides a standardized way of expressing data types and operations in Dhall programming language.
Recursion
Exploring recursion schemes in a functional programming language
Recursive algorithm library
A C++ library for implementing recursive algorithms in high-level synthesis tools using an embedded domain-specific language
Configuration language library
Provides Haskell bindings to Dhall, a configuration language used in various projects.
Workflow template
Tool for templating and standardizing GitHub Action workflow definitions with Dhall language
Resume format
A JSON Resume format built on top of the Dhall language and Nix package manager
Dhall formatter
Adds syntax highlighting support to VS Code for the Dhall programming language
Recursive data structure library
A library providing generalized recursion schemes and traversals for recursive data structures in Scala.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions dada.
