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:
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Updated 3 years ago
- An automatic declarative ASCIInema recorder☆46Updated last month
- hyphen - access Haskell modules from Python☆110Updated 6 months ago
- Stroll: an experimental build system☆42Updated 2 years ago
- Manage your Containerfile with Dhall.☆33Updated 4 years ago
- Text generation language☆34Updated 4 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- bi-directional tangle daemon for literate programming☆96Updated 3 years ago
- Change-aware static site generator for Haskell programmers☆126Updated 2 months ago
- A Python backed for Idris 2☆29Updated 2 months ago
- Ansible definitions with Dhall☆68Updated 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
- A Dhall encoding of the GitLab CI configuration schema☆49Updated 2 years ago
- Library for invertible parsing and printing☆33Updated 5 months ago
- Nix support for the Unison programming language☆69Updated 3 weeks ago
- Jupyter notebooks☆58Updated 2 months ago
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- ☆29Updated last year
- Lua backend for Idris 2☆28Updated 3 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆108Updated last week
- Imagine a Dependently Typed Python☆10Updated 9 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Command line interface library in Idris☆33Updated last year
- Functional, expression-oriented data processing language☆89Updated 2 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Apple array system☆69Updated last month
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year