s-zeng / dhall-pythonLinks
Python bindings for dhall, a functional configuration language
☆48Updated 10 months ago
Alternatives and similar repositories for dhall-python
Users that are interested in dhall-python are comparing it to the libraries listed below
Sorting:
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- hyphen - access Haskell modules from Python☆109Updated 3 months ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Manage your Containerfile with Dhall.☆33Updated 3 years ago
- Ansible definitions with Dhall☆68Updated last year
- A Python backed for Idris 2☆27Updated last month
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- ☆29Updated 9 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 6 months ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Javascript DOM bindings for Idris2☆52Updated this week
- Change-aware static site generator for Haskell programmers☆125Updated last month
- ☆18Updated last year
- A Dhall encoding of the GitLab CI configuration schema☆49Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 4 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Python library using the Futhark C backend via CFFI☆26Updated 3 months ago
- A Python backend for PureScript.☆124Updated 3 years ago
- Nix support for the Unison programming language☆63Updated 3 weeks ago
- Text generation language☆34Updated last month
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- Jupyter notebooks☆58Updated 10 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- A Nix build graph profiler☆33Updated 2 months ago
- Generate NetHack configurations using Dhall☆36Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated 3 weeks ago