input-output-hk / io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
☆39Updated 2 weeks ago
Alternatives and similar repositories for io-sim:
Users that are interested in io-sim are comparing it to the libraries listed below
- ☆44Updated 3 months ago
- ☆34Updated 3 years ago
- ☆35Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Automatically generate Haskell bindings from C header files☆38Updated this week
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- First-class type families☆87Updated 7 months ago
- ☆31Updated 3 years ago
- ☆20Updated last year
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 3 months ago
- ☆22Updated 3 months ago
- Haskell Actors☆25Updated last year
- Bindings to libsodium for Haskell☆34Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last week
- Leightweight generalized parser combinators☆19Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 weeks ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated this week
- A really small example of the Backpack module system for Haskell☆54Updated 2 months ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆44Updated last week
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- CI assistant☆46Updated last month
- Overloaded plugin☆30Updated 9 months ago
- A Typeclass for user-facing output☆56Updated 3 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- Create environments with GHC HEAD artefacts☆27Updated last year