optics for Haskell with the most amazing type errors you've seen
☆243Jan 18, 2020Updated 6 years ago
Alternatives and similar repositories for silica
Users that are interested in silica are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Inspection Testing for Haskell☆193Jan 17, 2026Updated 3 months ago
- Generically derive traversals, lenses, and prisms.☆442Aug 27, 2025Updated 8 months ago
- Predictable Haskell development environments with Cabal and Nix.☆66Oct 18, 2019Updated 6 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 5 years ago
- Refined types☆57Sep 25, 2018Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- High performance type safe html generation☆129Jul 25, 2022Updated 3 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆690Mar 25, 2026Updated last month
- 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.
- Nix-based incremental build tool for Haskell projects☆341Oct 16, 2020Updated 5 years ago
- Haskell library for debugging☆122Sep 1, 2019Updated 6 years ago
- Scrap your hand-rolled aeson instances☆114Nov 23, 2024Updated last year
- Measure time complexity empirically.☆49Nov 25, 2015Updated 10 years ago
- Squeal, a deep embedding of SQL in Haskell☆376Jun 29, 2025Updated 10 months ago
- Extensional capabilities and deriving combinators☆224Oct 24, 2025Updated 6 months ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 9 months ago
- A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane☆118Oct 16, 2022Updated 3 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- 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.
- Polymorphic variants for PureScript☆135Jun 28, 2023Updated 2 years ago
- Functional programming with fewer indirections☆782Aug 20, 2020Updated 5 years ago
- A modern, extensible and well-documented prettyprinter.☆309Apr 24, 2026Updated last week
- Unpacked containers using backpack☆52Apr 26, 2020Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 9 months ago
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Visualiser for Haskell (GHC) prof files☆203Jan 20, 2026Updated 3 months ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Web application for exploring and understanding Haskell codebases☆517Jan 18, 2023Updated 3 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆121Apr 16, 2026Updated 2 weeks ago
- A type-safe, high-level SQL library for Haskell☆477Jan 8, 2026Updated 3 months ago
- Reproducible builds for PureScript☆73Aug 7, 2018Updated 7 years ago
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year
- A reference library for constraint-solving with propagators and CDCL.☆308Jul 2, 2024Updated last year
- Refactor Haskell source files☆160Jan 29, 2025Updated last year