Dhall

Open-source projects categorized as Dhall

Top 18 Dhall Open-Source Projects

  • dhall-lang

    Maintainable configuration files

  • Project mention: Pkl, a Programming Language for Configuration | news.ycombinator.com | 2024-02-02

    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)

  • dhall

    Maintainable configuration files

  • InfluxDB

    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.

    InfluxDB logo
  • spago

    🍝 PureScript package manager and build tool (by purescript)

  • cachix

    Command line client for Nix binary cache hosting:

  • Project mention: Elm 2023, a year in review | dev.to | 2024-04-15

    Ableton ⬩ Acima ⬩ ACKO ⬩ ActiveState ⬩ Adrima ⬩ AJR International ⬩ Alma ⬩ Astrosat ⬩ Ava ⬩ Avetta ⬩ Azara ⬩ Barmenia ⬩ Basiq ⬩ Beautiful Destinations ⬩ BEC Systems ⬩ Bekk ⬩ Bellroy ⬩ Bendyworks ⬩ Bernoulli Finance ⬩ Blue Fog Training ⬩ BravoTran ⬩ Brilliant ⬩ Budapest School ⬩ Buildr ⬩ Cachix ⬩ CalculoJuridico ⬩ CareRev ⬩ CARFAX ⬩ Caribou ⬩ carwow ⬩ CBANC ⬩ CircuitHub ⬩ CN Group CZ ⬩ CoinTracking ⬩ Concourse CI ⬩ Consensys ⬩ Cornell Tech ⬩ Corvus ⬩ Crowdstrike ⬩ Culture Amp ⬩ Day One ⬩ Deepgram ⬩ diesdas.digital ⬩ Dividat ⬩ Driebit ⬩ Drip ⬩ Emirates ⬩ eSpark ⬩ EXR ⬩ Featurespace ⬩ Field 33 ⬩ Fission ⬩ Flint ⬩ Folq ⬩ Ford ⬩ Forsikring ⬩ Foxhound Systems ⬩ Futurice ⬩ FörsäkringsGirot ⬩ Generative ⬩ Genesys ⬩ Geora ⬩ Gizra ⬩ GWI ⬩ HAMBS ⬩ Hatch ⬩ Hearken ⬩ hello RSE ⬩ HubTran ⬩ IBM ⬩ Idein ⬩ Illuminate ⬩ Improbable ⬩ Innovation through understanding ⬩ Insurello ⬩ iwantmyname ⬩ jambit ⬩ Jobvite ⬩ KOVnet ⬩ Kulkul ⬩ Logistically ⬩ Luko ⬩ Metronome Growth Systems ⬩ Microsoft ⬩ MidwayUSA ⬩ Mimo ⬩ Mind Gym ⬩ MindGym ⬩ Next DLP ⬩ NLX ⬩ Nomalab ⬩ Nomi ⬩ NoRedInk ⬩ Novabench ⬩ NZ Herald ⬩ Permutive ⬩ Phrase ⬩ PINATA ⬩ PinMeTo ⬩ Pivotal Tracker ⬩ PowerReviews ⬩ Practle ⬩ Prima ⬩ Rakuten ⬩ Roompact ⬩ SAVR ⬩ Scoville ⬩ Scrive ⬩ Scrivito ⬩ Serenytics ⬩ Smallbrooks ⬩ Snapview ⬩ SoPost ⬩ Splink ⬩ Spottt ⬩ Stax ⬩ Stowga ⬩ StructionSite ⬩ Studyplus For School ⬩ Symbaloo ⬩ Talend ⬩ Tallink & Silja Line ⬩ Test Double ⬩ thoughtbot ⬩ Travel Perk ⬩ TruQu ⬩ TWave ⬩ Tyler ⬩ Uncover ⬩ Unison ⬩ Veeva ⬩ Vendr ⬩ Verity ⬩ Vnator ⬩ Vy ⬩ W&W Interaction Solutions ⬩ Watermark ⬩ Webbhuset ⬩ Wejoinin ⬩ Zalora ⬩ ZEIT.IO ⬩ Zettle

  • dhall-kubernetes

    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

  • dhallj

    Dhall for Java

  • github-actions-dhall

    Typecheck, template and modularize your Github Action definitions with Dhall

  • 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.

    WorkOS logo
  • dhall-to-cabal

    Compile Dhall expressions to Cabal files

  • dada

    A total recursion scheme library for Dhall (by sellout)

  • dhall-generic

    Dhall generic decoder for Scala

  • hpack-dhall

    Use hpack's phrasing in dhall to write cabal files

  • dhall-aws-cloudformation

    Typecheck, template and modularize your AWS CloudFormation with Dhall

  • shake-dhall

    Facilities for using Shake + dhall

  • resume

    Resume generation stack - create PDF, markdown, website resumes from a single resume specification (by s-zeng)

  • dhall-secret

    Manage secrets in dhall config file

  • kubernetes-webhook-haskell

    Create Kubernetes Admission Webhooks in Haskell

  • dhall-fly

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

  • dhall-bibtex

    Dhall types for bibtex integration

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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). The latest post mention was on 2024-04-15.

Dhall related posts

Index

What are some of the best open-source Dhall projects? This list will help you:

Project Stars
1 dhall-lang 4,129
2 dhall 898
3 spago 760
4 cachix 759
5 dhall-kubernetes 608
6 dhallj 175
7 github-actions-dhall 108
8 dhall-to-cabal 98
9 dada 64
10 dhall-generic 45
11 hpack-dhall 30
12 dhall-aws-cloudformation 28
13 shake-dhall 10
14 resume 10
15 dhall-secret 9
16 kubernetes-webhook-haskell 4
17 dhall-fly 4
18 dhall-bibtex 3
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com