A rewrite of Ledger's core mathematical concepts in Haskell
☆44Jan 23, 2017Updated 9 years ago
Alternatives and similar repositories for ledger4
Users that are interested in ledger4 are comparing it to the libraries listed below
Sorting:
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Jan 4, 2019Updated 7 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 9 years ago
- A fast, low-level HTTP server you can trust☆46Sep 5, 2018Updated 7 years ago
- Validate SQL statements created with postgresql-simple's quasiquoter☆18Sep 14, 2018Updated 7 years ago
- Sample SPOCK + GHCJS app☆23Dec 18, 2016Updated 9 years ago
- Rails-like inflections for Haskell☆37Aug 27, 2025Updated 6 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- A more flexible mtl☆62Feb 23, 2018Updated 8 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- Better errors when decoding JSON values☆31Apr 9, 2025Updated 10 months ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Self-describing consumers/parsers☆43Aug 31, 2018Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Feb 7, 2017Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated 8 months ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- Low-level Haskell bindings for libpq☆19Sep 19, 2019Updated 6 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Communicate with USB devices☆28Apr 1, 2018Updated 7 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- Compose MIME email messages.☆44Updated this week
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago