A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall
☆27Nov 7, 2019Updated 6 years ago
Alternatives and similar repositories for dhall-eta
Users that are interested in dhall-eta are comparing it to the libraries listed below
Sorting:
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Mar 12, 2024Updated last year
- Dhall support for semantic version numbers☆15Sep 2, 2021Updated 4 years ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Nix expressions to build Eta☆16Dec 3, 2018Updated 7 years ago
- Render multiple files from dhall expressions☆18Jun 2, 2022Updated 3 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Nov 25, 2020Updated 5 years ago
- Dhall implementation in PureScript☆98Feb 4, 2023Updated 3 years ago
- An Intellij Plugin for the Eta programming language☆51Oct 18, 2018Updated 7 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Sep 8, 2025Updated 6 months ago
- Dhall for Java☆178Aug 15, 2024Updated last year
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- The Enigma Mod☆10Aug 16, 2022Updated 3 years ago
- dtach-like program / crate in rust☆41Jan 16, 2024Updated 2 years ago
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- Use the amazing Kotlin language with Unity☆14Nov 8, 2023Updated 2 years ago
- If it looks, tastes, and smells like Legacy Console Edition, it probably is Console EXPERIENCE!☆10Mar 28, 2023Updated 2 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Gradle plugin for validating dependency configurations.☆11Feb 4, 2019Updated 7 years ago
- OpenPGP in Python using Sequoia PGP☆18Feb 25, 2026Updated last week
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- ROM Hack that adds support for playing CD quality music in Chrono Trigger using MSU-1. I also hope to play the FMV from the PS1 version.☆11Sep 27, 2016Updated 9 years ago
- The Dhall Configuration Language Manual☆46Jul 13, 2020Updated 5 years ago
- Add early return to any do-expression☆48Jul 2, 2021Updated 4 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆59Oct 10, 2025Updated 4 months ago
- Libraries and tools for extracting Coq code to F#☆14Aug 16, 2013Updated 12 years ago
- Marbles with pride flag colors. Accepting suggestions and PRs.☆13Jun 22, 2018Updated 7 years ago
- A mod for Minecraft 1.16.5 that highlights newly-picked up items in your inventory.☆10Dec 14, 2024Updated last year
- A powerful containerized tool that automatically downloads, extracts, and scans packages from PyPI and npm for embedded secrets, API keys…☆18Jul 25, 2025Updated 7 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- ☆10Dec 28, 2023Updated 2 years ago
- Datasette plugin for outputting tables in formats suitable for copy and paste☆16Feb 17, 2024Updated 2 years ago
- A simple magic mod with player-made spells and Wynncraft-like casting.☆11Dec 8, 2025Updated 3 months ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- This project aims to collect rich metadata information about IUP's elements, enabling code-gen tools to create type-checked bindings for …☆11Mar 23, 2023Updated 2 years ago