Dhall-configured inductive API definitions
☆23Feb 26, 2020Updated 6 years ago
Alternatives and similar repositories for dhallia
Users that are interested in dhallia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dhall support for directed graphs with labeled vertices☆19Sep 2, 2021Updated 5 years ago
- This repository is superseded by https://github.com/EarnestResearch/dhall-packages☆13Mar 21, 2020Updated 6 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 6 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 8 years ago
- Dhall helpers for github actions☆54Nov 8, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Dhall Configuration Language Manual☆46Jul 13, 2020Updated 6 years ago
- Convert data to and from a natural number representation☆13Apr 16, 2021Updated 5 years ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 8 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- Dhall Syntax Highlighting for VS Code☆18Mar 2, 2026Updated 8 months ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated 8 months ago
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Apr 23, 2026Updated 6 months ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated last year
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- Haskell in S-expression☆177Nov 18, 2024Updated last year
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 8 years ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 3 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Compile git revision info into Haskell projects☆35Jun 21, 2023Updated 3 years ago
- ☆14Sep 24, 2017Updated 9 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated 2 years ago
- Standard types and basic operations for working with JSON☆17Oct 18, 2026Updated 2 weeks ago
- Refined types☆57Sep 25, 2018Updated 8 years ago
- ☆39Mar 20, 2026Updated 7 months ago
- ☆14Oct 4, 2021Updated 5 years ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- ☆11Jan 11, 2019Updated 7 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 9 years ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated 2 years ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago