GHC plugin for automatic case splitting
☆19May 13, 2026Updated 5 months ago
Alternatives and similar repositories for auto-split
Users that are interested in auto-split are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated 9 months ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated last year
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- A minimal git pre-commit hook runner☆29Oct 2, 2026Updated 3 weeks ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 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.
- an arrowized category-forward language☆19Oct 14, 2025Updated last year
- Format Haskell package descriptions.☆75Oct 2, 2026Updated 3 weeks ago
- Haskell + PostgreSQL Distributed Job Queue☆28Updated this week
- Analyze GHC .dump-timings files☆112Feb 14, 2024Updated 2 years ago
- ☆11Mar 23, 2026Updated 7 months ago
- ☆20May 22, 2023Updated 3 years ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated 3 months ago
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated last month
- 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.
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Nov 13, 2025Updated 11 months ago
- An Awesome MCP Server Framework for Haskell☆51Oct 20, 2026Updated last week
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 4 years ago
- Dump the declarations of Haskell modules☆20Updated this week
- A theory‑backed, type‑safe algebraic effects☆197Aug 2, 2025Updated last year
- LLM-powered typed-holes☆58May 2, 2025Updated last year
- Extend Cabal build-depends from the command line☆61Sep 3, 2026Updated last month
- 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.
- ☆18Sep 12, 2026Updated last month
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 11 months ago
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- Native Haskell gRPC client and server based on `http2`☆96Updated this week
- ☆193Aug 17, 2026Updated 2 months ago
- Deeply nested, multiple key-type maps.☆10Sep 27, 2026Updated last month
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- LLVM code generation in Haskell☆55Oct 30, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- Regex-based search across package repositories☆13Nov 9, 2019Updated 6 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 6 years ago
- First-class type families☆94Nov 6, 2025Updated 11 months ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- A modern Haskell debugger☆31May 1, 2025Updated last year
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months ago