Haskell's IO simulator which closely follows core packages (base, async, stm).
☆52Feb 23, 2026Updated last week
Alternatives and similar repositories for io-sim
Users that are interested in io-sim are comparing it to the libraries listed below
Sorting:
- A Haskell library for on-disk tables based on LSM-Trees☆51Feb 24, 2026Updated last week
- A library for stateful property-based testing☆34Jan 19, 2026Updated last month
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- ☆17Oct 16, 2018Updated 7 years ago
- Session types framework with support of protocol pipelining.☆16Feb 18, 2026Updated 2 weeks ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 4 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆15May 18, 2023Updated 2 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- ☆50Oct 2, 2025Updated 5 months ago
- ☆42Updated this week
- ☆25Jun 10, 2023Updated 2 years ago
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago
- An interface for GHC type-checking plugins☆21Jan 14, 2026Updated last month
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 2 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Aug 27, 2025Updated 6 months ago
- ☆11Jun 19, 2021Updated 4 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- ☆142Updated this week
- Convenient codegen for PureScript☆32May 2, 2025Updated 10 months ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Feb 16, 2026Updated 2 weeks ago
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Jan 21, 2026Updated last month
- Formal specifications of the Cardano ledger☆50Updated this week
- A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library☆49Sep 8, 2025Updated 5 months ago
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 4 months ago
- 🍜 Convert HTML markdown into miso View syntax☆14Nov 17, 2025Updated 3 months ago
- Dump the declarations of Haskell modules☆18Dec 15, 2025Updated 2 months ago