s-zeng / dhall-pythonLinks
Python bindings for dhall, a functional configuration language
☆48Updated 7 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:
- Manage your Containerfile with Dhall.☆31Updated 3 years ago
- hyphen - access Haskell modules from Python☆101Updated last year
- Javascript DOM bindings for Idris2☆52Updated last week
- 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
- Nix support for the Unison programming language☆62Updated this week
- Python library to work with algebraic effects☆78Updated 4 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆51Updated last year
- Ansible definitions with Dhall☆68Updated last year
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- bi-directional tangle daemon for literate programming☆93Updated 2 years ago
- Apple array system☆66Updated 3 weeks ago
- Inline Haskell inside your Python code☆25Updated 7 months ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- A Python backed for Idris 2☆26Updated 8 months ago
- Change-aware static site generator for Haskell programmers☆125Updated 2 months ago
- A structural editor for JSON values☆77Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆62Updated last month
- Jupyter notebooks☆58Updated 7 months ago
- A purely functional programming language with first class types☆60Updated 3 months ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- ☆31Updated last month
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆104Updated last week
- Lua backend for Idris 2☆28Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- A Nix build graph profiler☆32Updated 2 months ago
- Text generation language☆34Updated last week