Alternatives and similar repositories for dhall-python:

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

• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆45Updated 2 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 3 months ago
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated last year
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 9 months ago
• zsedem / haskell-cpython
  ☆26Updated last month
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆68Updated last month
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated this week
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆51Updated 8 months ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 6 months ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆45Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last month
• 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
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆43Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆18Updated last year
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated 2 years ago
• serokell / xrefcheck
  Check cross-references in repository documents
  ☆56Updated 2 weeks ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆18Updated last month
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 9 months ago
• joe-warren / opencascade-hs
  Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
  ☆52Updated this week
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆49Updated 7 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 2 months ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• stefan-hoeck / idris2-hedgehog
  An Idris port of the Haskell Hedghog library
  ☆32Updated 4 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated last month