dhall-lang / dhall-langView external linksLinks
Maintainable configuration files
☆4,411Jan 8, 2026Updated last month
Alternatives and similar repositories for dhall-lang
Users that are interested in dhall-lang are comparing it to the libraries listed below
Sorting:
- Maintainable configuration files☆960Feb 3, 2026Updated last week
- Typecheck, template and modularize your Kubernetes definitions with Dhall☆647Sep 14, 2024Updated last year
- A friendly programming language from the future☆6,475Updated this week
- Better configuration for less☆2,834Updated this week
- A Haskell re-implementation of the Nix expression language☆824Nov 21, 2025Updated 2 months ago
- Koka language compiler and interpreter☆3,802Dec 22, 2025Updated last month
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,954Nov 14, 2022Updated 3 years ago
- 🍝 PureScript package manager and build tool☆822Updated this week
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 10 months ago
- Maintainable configuration files, for Rust users☆330Sep 10, 2025Updated 5 months ago
- A strongly-typed language that compiles to JavaScript☆8,824Oct 18, 2025Updated 3 months ago
- The engine for haskell ide-integration. Not an IDE☆2,366Dec 23, 2020Updated 5 years ago
- A statically typed lisp, without a GC, for real-time applications.☆5,807Sep 16, 2025Updated 4 months ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,627Jul 31, 2022Updated 3 years ago
- A formatter for Haskell source code☆1,044Jan 9, 2026Updated last month
- A purely functional programming language with first class types☆2,858Updated this week
- A declarative, type-safe UI library for PureScript.☆1,580Sep 17, 2024Updated last year
- Easy dependency management for Nix projects☆1,805Mar 2, 2025Updated 11 months ago
- A fast, flexible, fused effect system for Haskell☆667Dec 17, 2025Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Jun 13, 2025Updated 8 months ago
- A modern proof language☆3,719Jan 22, 2025Updated last year
- Your project's nix-env☆985Jun 17, 2022Updated 3 years ago
- Shell programming, Haskell style☆966Sep 23, 2025Updated 4 months ago
- A Dependently Typed Functional Programming Language☆3,469Feb 17, 2025Updated 11 months ago
- Nix and Haskell in production☆1,168Sep 22, 2023Updated 2 years ago
- A declarative Unix terminal UI library written in Haskell☆1,697Updated this week
- A dependently typed programming language, a successor to Idris☆900Aug 11, 2020Updated 5 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,788Updated this week
- Release with confidence, state-of-the-art property testing for Haskell.☆694Jan 12, 2026Updated last month
- A tasty Haskell web framework☆2,366Updated this week
- Very low feature GHCi based IDE☆1,177Mar 1, 2024Updated last year
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,936Dec 23, 2025Updated last month
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆733Jan 29, 2026Updated 2 weeks ago
- The Haskell Tool Stack☆4,048Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,390Dec 6, 2024Updated last year
- Parsing, analyzing, and comparing source code across many languages☆9,057Apr 1, 2025Updated 10 months ago
- hpack: A modern format for Haskell packages☆661Jan 18, 2026Updated 3 weeks ago
- Liquid Types For Haskell☆1,288Updated this week
- Industrial-strength monadic parser combinator library☆972Feb 2, 2026Updated last week