Top 3 Dhall dhall-lang 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
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
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).