dhall-lang / setup-dhallLinks
Github action to install a specific version of https://dhall-lang.org and run commands
☆16Updated last year
Alternatives and similar repositories for setup-dhall
Users that are interested in setup-dhall are comparing it to the libraries listed below
Sorting:
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- WIP: unison http implementation☆19Updated 5 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 7 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- A Warp-based gRPC server for Haskell☆23Updated 6 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 7 years ago
- Collection of dhall packages☆44Updated 2 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Updated 9 years ago
- Typecheck, template and modularize your AWS CloudFormation with Dhall☆32Updated last year
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆65Updated 4 years ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 5 years ago
- A Prelude with names from category theory☆51Updated 9 years ago
- Refined types☆57Updated 7 years ago
- This repository is superseded by https://github.com/EarnestResearch/dhall-packages☆13Updated 5 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆32Updated 5 years ago
- Opinionated purescript wrapper for the aws sdk☆19Updated 4 years ago
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆32Updated 10 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Moot is a CFP and event management system!☆66Updated 7 years ago
- Simple extensible product☆36Updated 5 years ago
- refine properties for testing Haskell programs☆78Updated last year
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Updated 5 years ago
- Fast, scalable and secure de-duplicating backup.☆16Updated 5 years ago
- Define communication protocols between applications using algebraic data types.☆46Updated 2 years ago
- JSON decoding/encoding/manipulation library.☆95Updated 3 years ago
- A concrete-syntax tree and parser for the PureScript language☆41Updated 6 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- Crazy experiment, ignore unless you know better☆37Updated 7 years ago