The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 6 Dhall Dhall Projects
-
WorkOS
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.
-
resume
Resume generation stack - create PDF, markdown, website resumes from a single resume specification (by s-zeng)
Kubernetes config is a decent example. I had ChatGPT generate a representative silly example -- the content doesn't matter so much as the structure:
https://gist.github.com/cstrahan/528b00cd5c3a22e3d8f057bb1a7...
Now consider 100s (if not 1000s) of such files.
I haven't given Pkl an in depth look yet, but I can say that the Industry Standard™ of "simple YAML" + string substitution (with delicate, error prone indentation -- since YAML is indentation sensitive) is easily beat by any of:
- https://jsonnet.org/
- https://nickel-lang.org/
- https://nixos.org/manual/nix/stable/language/index.html
- https://dhall-lang.org/
- (insert many more here, probably including Pkl)
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
Dhall Dhall related posts
- What Is the Point of Decidability
- Home Blog Better configuration languages – A talk about Dhall [video]
- Language without loops and recursion
- Why is Kubernetes adoption so hard?
- What are some of the least applicable areas of math?
- New Scala Build Tool
- Is It Imperative to Be Declarative?
-
A note from our sponsor - WorkOS
workos.com | 25 Apr 2024
Index
What are some of the best open-source Dhall projects in Dhall? This list will help you:
Project | Stars | |
---|---|---|
1 | dhall-lang | 4,131 |
2 | dhall | 900 |
3 | dhall-kubernetes | 608 |
4 | github-actions-dhall | 108 |
5 | resume | 10 |
6 | dhall-bibtex | 3 |
Sponsored