Alternatives and similar repositories for dhall-python

Users that are interested in dhall-python are comparing it to the libraries listed below

• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆69Updated 4 months ago
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆99Updated 11 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated this week
• obsidiansystems / rhyolite
  ☆30Updated 4 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆51Updated 11 months ago
• MaxOw / RuneSlayer
  RPG languages learning tool
  ☆38Updated 5 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 11 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last week
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆59Updated last week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆61Updated 2 weeks ago
• zsedem / haskell-cpython
  ☆28Updated 4 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 3 months ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆35Updated last week
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆86Updated last week
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated 11 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆58Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆25Updated 7 months ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆45Updated 2 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• bitc / hs-term-emulator
  Terminal Emulator written in 100% Haskell
  ☆67Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 weeks ago