C Layer for Dhall Language
☆15Feb 6, 2021Updated 5 years ago
Alternatives and similar repositories for clay-dhall
Users that are interested in clay-dhall are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC for native MS CRT and Windows SDK. Enhanced.☆12Apr 29, 2021Updated 5 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 8 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Dhall support for semantic version numbers☆15Sep 2, 2021Updated 5 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26May 14, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 7 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆18Apr 11, 2026Updated 6 months ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- Tactic Metaprogramming in Haskell☆57Jul 7, 2019Updated 7 years ago
- Control.Effects☆19Apr 14, 2019Updated 7 years ago
- When REST is not enough ...☆25Feb 29, 2020Updated 6 years ago
- 🔫 GitHub application to suggest hints☆26Nov 6, 2020Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆28Aug 19, 2026Updated 2 months ago
- Dhall implementation in PureScript☆99Feb 4, 2023Updated 3 years 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.
- cargo +nightly build☆34Jul 7, 2019Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- ☆11Jun 19, 2021Updated 5 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆27Oct 20, 2021Updated 5 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- A simple mycroft skill for launching shell scripts and system commands☆13Jun 1, 2024Updated 2 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Improving all Haskell's programmer interfaces☆77Apr 9, 2026Updated 6 months ago
- node knockout 2011 entry☆10Aug 28, 2011Updated 15 years ago
- Dead simple rip (encrypted) DVD to ISO. Just needs mplayer and pv.☆11Jul 27, 2022Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆28Dec 23, 2023Updated 2 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- A couple of Clojure macros for creating anonymous instances.☆13Mar 26, 2010Updated 16 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json☆64Nov 23, 2018Updated 7 years ago
- A simplistic, integer-only programming language☆11Jan 4, 2016Updated 10 years ago
- Notes and code of the course☆11Mar 2, 2012Updated 14 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A total recursion scheme library for Dhall☆67Sep 12, 2026Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Aug 27, 2026Updated 2 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆65Aug 8, 2023Updated 3 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 years ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆15Feb 15, 2021Updated 5 years ago
- VS Code color theme optimised for Haskell, groovy, C, python, nix & hcl syntax highlighting.☆15Oct 9, 2025Updated last year
- Implementation of Dhall in Dhall☆12Updated this week