Dhall support for directed graphs with labeled vertices
☆19Sep 2, 2021Updated 4 years ago
Alternatives and similar repositories for graph
Users that are interested in graph are comparing it to the libraries listed below
Sorting:
- Dhall-configured inductive API definitions☆24Feb 26, 2020Updated 6 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 5 years ago
- Collection of dhall packages☆44Dec 15, 2023Updated 2 years ago
- ☆15Jun 14, 2022Updated 3 years ago
- Dhall support for the DOT language for graphviz☆38Sep 5, 2022Updated 3 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39May 2, 2019Updated 6 years ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 2 years ago
- being a programming language for sequential circuits☆22Dec 8, 2025Updated 2 months ago
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Aug 3, 2025Updated 6 months ago
- Dhall helpers for github actions☆54Nov 8, 2023Updated 2 years ago
- Gives TreeLog a GUI, the ScalaJS ReactTreeView☆10Jun 23, 2016Updated 9 years ago
- Sbt thin client in Scala.js running on Node☆14Oct 27, 2018Updated 7 years ago
- Wailing into the primordial ooze of category theory☆55Feb 13, 2026Updated 2 weeks ago
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Mar 12, 2024Updated last year
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Dhall for Java☆178Aug 15, 2024Updated last year
- 📦 A package manager based on Nix☆19May 17, 2024Updated last year
- Render multiple files from dhall expressions☆18Jun 2, 2022Updated 3 years ago
- Content Addressable Storage Archive☆41Sep 26, 2025Updated 5 months ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- A Generic implementation of data-has.☆22May 15, 2020Updated 5 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 5 months ago
- Create environments with GHC HEAD artefacts☆26Jun 28, 2023Updated 2 years ago
- Placeholders for use while developing Haskell code☆30Apr 29, 2011Updated 14 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- A build tool/package manager for C, configured with Dhall☆67Nov 6, 2023Updated 2 years ago
- ☆93Apr 8, 2024Updated last year
- Reload Haskell IDE☆18Mar 11, 2017Updated 8 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Functional AWS API implementation for Scala☆24Sep 22, 2018Updated 7 years ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Configure dzen2 bars in Dhall language☆24Feb 18, 2020Updated 6 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Jan 4, 2026Updated last month
- Generate dhall records from terraform resouces, data_sources & providers☆59Apr 20, 2020Updated 5 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Aug 8, 2023Updated 2 years ago
- Syntax highlighting for Dhall☆69May 18, 2024Updated last year