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
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆108Updated 3 weeks ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆26Updated 9 months ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆45Updated 2 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last month
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆79Updated 4 years ago
• vmchale / apple
  Apple array system
  ☆67Updated last month
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆94Updated 2 years ago
• srid / ema
  Change-aware static site generator for Haskell programmers
  ☆125Updated last week
• zsedem / haskell-cpython
  ☆29Updated 6 months ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆97Updated 3 months ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 8 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆44Updated 3 years ago
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated 2 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated last month
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆104Updated last week
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆60Updated 4 months ago
• bgamari / dhall-gitlab-ci
  A Dhall encoding of the GitLab CI configuration schema
  ☆48Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 weeks ago