input-output-hk / io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
☆38Updated this week
Related projects ⓘ
Alternatives and complementary repositories for io-sim
- ☆30Updated 3 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- ☆35Updated 3 years ago
- ☆38Updated 5 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 4 months ago
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated last year
- Prune unused Haskell dependencies.☆48Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated this week
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 4 months ago
- ☆92Updated 7 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- A really small example of the Backpack module system for Haskell☆50Updated last year
- Format Haskell package descriptions.☆48Updated last month
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- Extend Cabal build-depends from the command line☆55Updated 2 weeks ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated 3 weeks ago
- Set breakpoints using a GHC plugin☆47Updated 5 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- ☆35Updated 2 weeks ago
- ☆22Updated 10 months ago
- Haskell QuasiQuoter for String Formatting☆66Updated 5 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated last week
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Generates a references DB from .hie files☆64Updated 3 months ago