Automatic piecewise-mutable references for your types
☆42Jul 10, 2020Updated 5 years ago
Alternatives and similar repositories for mutable
Users that are interested in mutable are comparing it to the libraries listed below
Sorting:
- high-level stream sockets in haskell☆17Sep 4, 2025Updated 6 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- ☆24May 22, 2020Updated 5 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Feb 10, 2026Updated last month
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- ☆14Nov 6, 2017Updated 8 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 2 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Personal Hackage replacement for testing new packages.☆22Oct 13, 2016Updated 9 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Jul 10, 2022Updated 3 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 8 years ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- A port of Google's word2vec to Haskell☆26Aug 20, 2016Updated 9 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- A distributed data processing framework in Haskell.☆117Jun 13, 2020Updated 5 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- ☆19Jul 23, 2017Updated 8 years ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 9 months ago
- ☆17Feb 13, 2021Updated 5 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Dec 17, 2018Updated 7 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Nov 20, 2023Updated 2 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- A work stealing scheduler☆80Jan 14, 2025Updated last year