optics for Haskell with the most amazing type errors you've seen
☆240Jan 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:
- Generically derive traversals, lenses, and prisms.☆442Aug 27, 2025Updated last year
- A magic typeclass that just does it☆125Aug 1, 2022Updated 4 years ago
- Inspection Testing for Haskell☆192Jan 17, 2026Updated 9 months ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 8 years ago
- Predictable Haskell development environments with Cabal and Nix.☆66Oct 18, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Higher-kinded data via generics☆171Aug 20, 2024Updated 2 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 6 years ago
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 6 years ago
- Refined types☆57Sep 25, 2018Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- High performance type safe html generation☆130Jul 25, 2022Updated 4 years ago
- Extensional capabilities and deriving combinators☆226Oct 24, 2025Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆701Oct 15, 2026Updated 2 weeks 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.
- Squeal, a deep embedding of SQL in Haskell☆377Jun 29, 2025Updated last year
- Web application for exploring and understanding Haskell codebases☆517Jan 18, 2023Updated 3 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Nix-based incremental build tool for Haskell projects☆342Oct 16, 2020Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane☆118Oct 16, 2022Updated 4 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 9 years ago
- Measure time complexity empirically.☆49Nov 25, 2015Updated 10 years ago
- A lambda calculus to explore type-directed program synthesis.☆86Jan 20, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Compact regions library for Haskell☆82Jul 2, 2024Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated last year
- A modern, extensible and well-documented prettyprinter.☆309Sep 10, 2026Updated last month
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Universal build and CI testing for Haskell packages☆93Oct 24, 2026Updated last week
- Haskell library for debugging☆122Sep 1, 2019Updated 7 years ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- Diffing of (expression) trees.☆80Jun 17, 2026Updated 4 months ago
- Scrap your hand-rolled aeson instances☆114Jun 18, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 6 years ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- Unpacked containers using backpack☆52Apr 26, 2020Updated 6 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Feb 4, 2019Updated 7 years ago
- Optics as an abstract interface☆389Aug 1, 2026Updated 2 months ago
- High performance, streaming and concurrent functional programming in Haskell☆927Oct 21, 2026Updated last week
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year