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:
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆18Apr 11, 2026Updated 2 months ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- 🔫 GitHub application to suggest hints☆26Nov 6, 2020Updated 5 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆23Jun 3, 2026Updated last week
- cargo +nightly build☆34Jul 7, 2019Updated 6 years ago
- When REST is not enough ...☆25Feb 29, 2020Updated 6 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple mycroft skill for launching shell scripts and system commands☆13Jun 1, 2024Updated 2 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- VS Code color theme optimised for Haskell, groovy, C, python, nix & hcl syntax highlighting.☆15Oct 9, 2025Updated 8 months ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- A total recursion scheme library for Dhall☆67May 25, 2026Updated 2 weeks ago
- Formalizing linear algebra in Agda by representing matrices as functions☆28Dec 23, 2023Updated 2 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 4 years ago
- A simplistic, integer-only programming language☆11Jan 4, 2016Updated 10 years ago
- 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.
- Haskell terminal emulator☆21Sep 11, 2013Updated 12 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆63Aug 8, 2023Updated 2 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Communicate with USB devices☆28Apr 1, 2018Updated 8 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
- Leibniz Equality☆19Jun 7, 2018Updated 8 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- UI experiments for coda☆68Sep 23, 2021Updated 4 years ago
- Haskell interface to BLPAPI☆31Sep 8, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 5 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60May 8, 2026Updated last month
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- ⚖️ Trial Data Type☆21May 4, 2026Updated last month
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- GHC plugin to add eventlog tracing for foreign function calls☆16Jan 14, 2025Updated last year
- An experimental attempt to bring the PureScript ecosystem to npm☆19Jun 1, 2017Updated 9 years ago