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:
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 7 years ago
- WIP: unison http implementation☆19Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 7 years ago
- Typecheck, template and modularize your AWS CloudFormation with Dhall☆32Updated last year
- Querying a rate-limited currency exchange API using Redis as a cache☆43Updated 5 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Updated 7 years ago
- type-safe JSON spec and validation tool☆86Updated 5 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- Haskell Servant Cookbook☆84Updated 4 years ago
- JSON decoding/encoding/manipulation library.☆95Updated 3 years ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆65Updated 4 years ago
- This repository is superseded by https://github.com/EarnestResearch/dhall-packages☆13Updated 5 years ago
- Typecheck, template and modularize your Github Action definitions with Dhall☆124Updated last year
- Haskell Webapps on AWS Lambda☆44Updated 3 years ago
- Type-safe data versioning.☆98Updated last month
- Example of a base Haskell Servant web application☆13Updated 7 years ago
- Moot is a CFP and event management system!☆66Updated 7 years ago
- refine properties for testing Haskell programs☆78Updated last year
- Crazy experiment, ignore unless you know better☆37Updated 7 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Updated 6 years ago
- Yet another Haskell build system.☆115Updated 5 years ago
- A https://lobste.rs clone, semi-closed dev process for now.☆12Updated 7 years ago
- A Warp-based gRPC server for Haskell☆23Updated 6 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 4 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- Higher-kinded data via generics☆170Updated last year
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago