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
- Control.Effects☆19Apr 14, 2019Updated 7 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆16Updated this week
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 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.
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years 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
- 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)☆22Apr 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Mar 12, 2026Updated last month
- A simple mycroft skill for launching shell scripts and system commands☆13Jun 1, 2024Updated last year
- 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 6 months ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- A total recursion scheme library for Dhall☆66Feb 16, 2026Updated last month
- Formalizing linear algebra in Agda by representing matrices as functions☆27Dec 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
- 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 simplistic, integer-only programming language☆11Jan 4, 2016Updated 10 years ago
- 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 8 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 7 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- UI experiments for coda☆67Sep 23, 2021Updated 4 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.
- Haskell interface to BLPAPI☆31Sep 8, 2015Updated 10 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- Interactive development for Bazel/Haskell rules☆49Jul 18, 2021Updated 4 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Mar 30, 2026Updated 2 weeks ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- ⚖️ Trial Data Type☆21Jun 13, 2025Updated 10 months ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year