s-zeng / dhall-pythonLinks
Python bindings for dhall, a functional configuration language
☆48Updated last year
Alternatives and similar repositories for dhall-python
Users that are interested in dhall-python are comparing it to the libraries listed below
Sorting:
- hyphen - access Haskell modules from Python☆110Updated 6 months ago
- Manage your Containerfile with Dhall.☆33Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- A Python backed for Idris 2☆29Updated 2 months ago
- Text generation language☆34Updated 4 months ago
- ☆29Updated last year
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- An automatic declarative ASCIInema recorder☆46Updated 2 months ago
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- bi-directional tangle daemon for literate programming☆96Updated 3 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Updated 3 years ago
- Nix support for the Unison programming language☆69Updated last week
- Python library to work with algebraic effects☆80Updated 5 years ago
- Ansible definitions with Dhall☆68Updated last year
- Inline Haskell inside your Python code☆25Updated 3 weeks ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Functional, expression-oriented data processing language☆89Updated this week
- Jupyter notebooks☆58Updated 2 months ago
- Change-aware static site generator for Haskell programmers☆126Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated 2 months ago
- Opinionated package manager for haskell (WIP)☆16Updated 2 years ago
- ☆18Updated last year
- Imagine a Dependently Typed Python☆10Updated 10 months ago
- Check cross-references in repository documents☆56Updated last month
- Stroll: an experimental build system☆42Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- A Dhall encoding of the GitLab CI configuration schema☆49Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year