Automatic piecewise-mutable references for your types
☆43Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- high-level stream sockets in haskell☆17Apr 27, 2026Updated 2 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- ☆23May 22, 2020Updated 6 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Non-empty Vectors☆26Apr 18, 2026Updated 2 months ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated last week
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- ☆14Nov 6, 2017Updated 8 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 3 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☆51Jan 6, 2026Updated 5 months ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 10 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
- Cursor data and manipulation☆22Jun 3, 2026Updated 3 weeks ago
- A Haskell library for open records and variants using closed type families and type literals☆113Jul 10, 2022Updated 3 years 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
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 8 years ago
- A port of Google's word2vec to Haskell☆26Aug 20, 2016Updated 9 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 3 years ago
- Testing Infrastructure for Temporal AbstractioNs☆24Aug 24, 2020Updated 5 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 10 months ago
- A distributed data processing framework in Haskell.☆117Jun 13, 2020Updated 6 years ago
- UI experiments for coda☆67Sep 23, 2021Updated 4 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- ☆19Jul 23, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated last year
- ☆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
- A work stealing scheduler☆82Jan 14, 2025Updated last year
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago