Dhall In Production

Example commercial use cases for Dhall

This section covers confirmed uses of Dhall in production, including official integrations with other tools/ecosystems and use within companies. You can open an issue if you would like to list your company or tool here:

Integrations

Eta

The Eta programming language supports Dhall for configuring their build tool, Etlas

PureScript Package Sets

PureScript’s default global package set is defined as a large Dhall configuration file that can be locally overridden

Companies

AlasConnect

Uses Haskell bindings to Dhall to configure application servers

Awake Security

Uses Haskell bindings to Dhall to simplify redundant appliance cluster configurations

Cachix

Uses dhall-haskell to persist user configuration between command line interface invocations.

CircuitHub

Uses Dhall to configure command-line applications (i.e. as an alternative to a JSON configuration)

Earnest Research

Uses dhall and dhall-kubernetes to configure their Kubernetes infrastructure and open-sourced their bindings as dhall-packages

Formation

Uses Dhall customized with additional built-ins as a serializable domain-specific language

IOHK

Uses dhall-to-yaml to simplify redundant runtime configuration

Kos Media, LLC

Uses dhall, dhall-json, and dhall-nix to convert Dhall definitions for microservice configs and encrypted secrets to various formats including JSON, YAML, and Nix in their delivery pipeline (currently into AWS).

KSF Media

Uses dhall-kubernetes, dhall-to-yaml and dhall-to-text to configure, modularize and template Terraform and Kubernetes configurations

Mira Networks

Uses dhall-haskell to define logs for parsing. The software generates a specific log parser in either Python, Haskell, Elm or Erlang.

NoRedInk

Uses dhall to configure their build process