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 6 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆16Apr 20, 2025Updated 11 months ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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)☆22Mar 3, 2026Updated 3 weeks ago
- 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
- 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.
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Mar 12, 2026Updated last week
- 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 5 months ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 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 Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simplistic, integer-only programming language☆11Jan 4, 2016Updated 10 years ago
- Awesome Pure Data (PD) is a raw list of PureData patches and abstractions☆13Aug 21, 2017Updated 8 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
- Django Field class for PostgreSQL ltree data type.☆17Dec 14, 2014Updated 11 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 7 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- 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 9, 2026Updated 2 weeks ago
- My personal dotfiles☆37Mar 17, 2026Updated last week