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
Sorting:
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- cargo +nightly build☆34Jul 7, 2019Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 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
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 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 10 months ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- ☆22Jan 7, 2026Updated last month
- 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
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆26Jul 28, 2025Updated 7 months ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- An experimental attempt to bring the PureScript ecosystem to npm☆19Jun 1, 2017Updated 8 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆22Feb 3, 2026Updated last month
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated 3 weeks ago
- How to use Haskell + Stack with Unreal Engine 4 on Windows - Blueprint version☆18May 12, 2017Updated 8 years ago
- Extensible exceptions for servant☆23Jan 25, 2021Updated 5 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 10 months ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- 🔫 GitHub application to suggest hints☆26Nov 6, 2020Updated 5 years ago
- ☆23May 29, 2023Updated 2 years ago
- When REST is not enough ...☆25Feb 29, 2020Updated 6 years ago
- A total recursion scheme library for Dhall☆66Feb 16, 2026Updated 2 weeks ago
- A command-line replacement for the Google Authenticator App☆25Nov 6, 2023Updated 2 years ago
- functional STReam processing for the IOT☆29Apr 11, 2025Updated 10 months ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Apr 25, 2018Updated 7 years ago
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Feb 3, 2026Updated last month
- generate haskell types for Squeal from a running postgresql database.☆27Feb 16, 2026Updated 2 weeks ago
- Communicate with USB devices☆28Apr 1, 2018Updated 7 years ago
- Haskell binding for Gremlin graph query language☆27Jan 8, 2026Updated last month
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Use Elm with Vite (powered by elm-watch!)☆34Jun 28, 2025Updated 8 months ago