A library for benign effects in Haskell
☆20May 23, 2025Updated 9 months ago
Alternatives and similar repositories for haskell-benign
Users that are interested in haskell-benign are comparing it to the libraries listed below
Sorting:
- Derive a mock server for free from your servant API types☆19Nov 8, 2023Updated 2 years ago
- Retrying for humans using Haskell.☆48Feb 9, 2024Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Dec 28, 2025Updated 2 months ago
- Inspecting tool for GHC compilation pipeline☆33Sep 17, 2025Updated 5 months ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- Clipboard synchronization tool☆13Jan 30, 2026Updated last month
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- Miscellaneous Racket utilities lacking a better home☆14Feb 22, 2026Updated last week
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Batteries-included structured logging library☆31Dec 15, 2025Updated 2 months ago
- ☆15Mar 29, 2023Updated 2 years ago
- A Haskell library for building Slack apps in Socket Mode☆15Oct 23, 2023Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Feb 16, 2026Updated 2 weeks ago
- Applicative maps☆16Sep 29, 2024Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Oct 19, 2025Updated 4 months ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆29Feb 23, 2026Updated last week
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- A re-implementation of weeder using HIE files☆184Dec 23, 2025Updated 2 months ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- ☆18Dec 2, 2025Updated 3 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 7 months ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- Excel Addin for Haskell☆37Sep 13, 2022Updated 3 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- ☆15Jan 14, 2026Updated last month
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated last month
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated last month
- Nix (shell) expression for working on GHC☆147Feb 22, 2026Updated last week
- ☆23Jun 17, 2025Updated 8 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆19Aug 12, 2021Updated 4 years ago
- ☆24Nov 5, 2025Updated 3 months ago
- ☆21Jun 19, 2019Updated 6 years ago
- Infinite lists aka streams☆18Dec 19, 2025Updated 2 months ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆21Mar 22, 2022Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year