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 4 years ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated 2 weeks ago
• Kha / nixprof
  A Nix build graph profiler
  ☆31Updated 2 years ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆68Updated 3 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆96Updated 9 months ago
• NorfairKing / ical
  ☆31Updated 3 months ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆45Updated last year
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated 11 months ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated last month
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 10 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆87Updated 3 weeks ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆58Updated 11 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆23Updated 5 months ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆35Updated last month
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 8 months ago
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆27Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 9 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 5 months ago
• zsedem / haskell-cpython
  ☆28Updated 2 months ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated 10 months ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated 9 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆59Updated 3 months ago