Dhall

Links
​dhall-nix - Provides a Dhall to Nix compiler. You can use this compiler to program Nix using the Dhall language.
​dhall-haskell - Haskell bindings to Dhall.
​dhall-kubernetes - Typecheck, template and modularize your Kubernetes definitions with Dhall.
​dhall-clj - Allows you to compile Dhall expressions to Clojure expressions.
​Dhall - Year in review (2018-2019)​
​dhall-to-cabal - Generate Cabal files from Dhall expression.
​Dhall, formalised in Agda​
​dhall-rust - WIP implementation in Rust of the dhall configuration format/programming language.
​Dhall - Year in review (2019-2020)​
​dhall-golang - Go bindings for dhall.
​Why Dhall advertises the absence of Turing-completeness (2020)​
​Dhall for Kubernetes (2020) (Lobsters)
​dhall-prometheus - Prometheus configuration with Dhall.
​graph - Dhall support for directed graphs with labeled vertices.
​Awesome Dhall​
​Data abstraction in Dhall (2020)​

Nim libraries

Processing

Last modified 4mo ago

Copy link