dhall-lang / dhall-langLinks
Maintainable configuration files
☆4,389Updated 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:
- A friendly programming language from the future☆6,242Updated this week
- Koka language compiler and interpreter☆3,743Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,567Updated 2 months ago
- Better configuration for less☆2,743Updated this week
- A Dependently Typed Functional Programming Language☆3,469Updated 9 months ago
- A modern proof language☆3,706Updated 9 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,746Updated 2 months ago
- A purely functional programming language with first class types☆2,771Updated this week
- The Flix Programming Language☆2,534Updated this week
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,958Updated 3 years ago
- lamdu - towards the next generation IDE☆1,878Updated 3 weeks ago
- A programming language with static memory management based on λ-calculus☆1,006Updated last month
- A strongly-typed language that compiles to JavaScript☆8,791Updated last month
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,629Updated 3 years ago
- Irmin is a distributed database that follows the same design principles as Git☆1,908Updated last week
- A dynamic language and bytecode vm☆4,030Updated last week
- The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾☆3,382Updated this week
- A tasty Haskell web framework☆2,336Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,966Updated last week
- Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!☆3,232Updated this week
- Maintainable configuration files☆949Updated this week
- Crush is a command line shell that is also a powerful modern programming language.☆1,881Updated 3 months ago
- Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tr…☆1,942Updated last week
- A safe, easy systems language☆2,171Updated last week
- Record Query - A tool for doing record analysis and transformation☆2,293Updated last year
- CUE has moved to https://github.com/cue-lang/cue☆3,069Updated 4 years ago
- The Haskell Tool Stack☆4,043Updated this week
- What I Wish I Knew When Learning Haskell☆2,638Updated 2 months ago
- Haskell to JavaScript compiler, based on GHC☆2,620Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.☆2,315Updated 3 weeks ago