A reference implementation of Dhall in Scala
☆12Jun 18, 2026Updated 4 months ago
Alternatives and similar repositories for scall
Users that are interested in scall are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Feb 12, 2024Updated 2 years ago
- An experiment in converting Go text/template to CUE, using Helm charts as the driving example☆14Jun 13, 2026Updated 4 months ago
- Generate ER-diagram using SQL file☆17Aug 8, 2026Updated 3 months ago
- Build Grafana dashboards with Dhall☆29Jan 24, 2024Updated 2 years ago
- Generate a type-safe openssl configuration file with dhall☆14Aug 25, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Ormolu GitHub action☆32Aug 4, 2026Updated 3 months ago
- VSCode pluging that provides LSP support for the Dhall programming language☆18Apr 11, 2023Updated 3 years ago
- Automatic housekeeping for your gitlab repositories.☆17Aug 13, 2024Updated 2 years ago
- Text objects and motions for Latex editing in Vim.☆14Sep 28, 2020Updated 6 years ago
- ⚖️ Trial Data Type☆22May 4, 2026Updated 6 months ago
- Render multiple files from dhall expressions☆18Jun 2, 2022Updated 4 years ago
- Documents for the developments of ISO 24707 Editiion 2 (Common Logic)☆11Oct 27, 2015Updated 11 years ago
- Library to type check concourse configurations in dhall☆20Jul 8, 2021Updated 5 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 4 years ago
- fleet-footed ByteString builder☆52Jul 31, 2024Updated 2 years ago
- Double-ended queues☆14Apr 4, 2026Updated 7 months ago
- ☆23May 25, 2025Updated last year
- PureScript Language Support for Visual Studio Code☆18Jul 20, 2025Updated last year
- Pluggable, open-source audio scrobbler, for crustaceans.☆12Nov 2, 2026Updated last week
- Quick, hacked prototype of coposable context functions☆10Oct 13, 2022Updated 4 years ago
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Build, traverse and deserialise packed data in Haskell☆11Sep 16, 2026Updated last month
- ☆10Jun 7, 2024Updated 2 years ago
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- Parse bytes fast☆26Sep 1, 2026Updated 2 months ago
- A batteries-included, opinionated Haskell test framework☆32Updated this week
- A linked list with compile time size.☆10Aug 18, 2021Updated 5 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- Emacs Math Symbol Input and LaTeX conversion tools.☆15Oct 5, 2020Updated 6 years ago
- emacs30 setup for Python and Jupyter with pixi☆15Nov 2, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- High-performance JSON parser☆26Jul 14, 2025Updated last year
- Fixpoint data types☆22Jan 2, 2026Updated 10 months ago
- First Class Record Fields in Haskell☆18Jun 11, 2026Updated 5 months ago
- ☆12Jul 28, 2024Updated 2 years ago
- Custom firmware for the Egret GT scooter☆18Oct 17, 2026Updated 3 weeks ago
- Effect type and functions for accessing the current machine's date and time.☆21Oct 11, 2026Updated last month
- Monads for Common Lisp☆20Sep 21, 2024Updated 2 years ago
Are these results useful?