Top 4 dhall-lang Open-Source Projects

dhall-kubernetes

9 608 4.2 Dhall

Typecheck, template and modularize your Kubernetes definitions with Dhall

Project mention: DSLs Are a Waste of Time | news.ycombinator.com | 2023-09-04

I hate yaml with a passion. It marginally better than xml for reading (wins huge on comment syntax) and worse for everything else. It makes zero sense we somehow ended up with it as standard configuration serialization format.
Note yaml is not a DSL. It's a tree serialization format! Everything interesting is happening after it is parsed. Extreme examples point to e.g. github actions conditions.
Anyway, back on topic - maybe not prolog for CDK, but still quite interesting: Dhall-kubernetes - https://github.com/dhall-lang/dhall-kubernetes

github-actions-dhall

1 108 6.3 Dhall

Typecheck, template and modularize your Github Action definitions with Dhall
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
dhall-fly

0 4 0.0 Haskell

fly with dhall. Not to be confused with dal-tadka
dhall-bibtex

1 3 0.0 Dhall

Dhall types for bibtex integration

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).