Keyboard controller written in Ivory
☆10Mar 3, 2017Updated 9 years ago
Alternatives and similar repositories for cadet
Users that are interested in cadet are comparing it to the libraries listed below
Sorting:
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- A FUSE file system that interpolates secret information☆20Dec 16, 2016Updated 9 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Get the Haskell documentation of a name from a module☆31May 15, 2019Updated 6 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆21Feb 21, 2018Updated 8 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- ☆12Feb 12, 2025Updated last year
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- Haskell bindings to SymEngine☆27Aug 17, 2023Updated 2 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Graph database in Haskell☆24Jun 12, 2016Updated 9 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago