lexi-lambda / eff
π§ a work in progress effect system for Haskell π§
β126Updated last year
Alternatives and similar repositories for eff:
Users that are interested in eff are comparing it to the libraries listed below
- Fast and concise extensible effectsβ108Updated last year
- Strongly-typed System F in Haskellβ116Updated 2 years ago
- β96Updated this week
- A package index for the Haskell ecosystemβ135Updated last week
- Effects libraries in Haskellβ71Updated last year
- A re-implementation of weeder using HIE filesβ177Updated 2 months ago
- GRIN backend for GHCβ144Updated 3 years ago
- Extensional capabilities and deriving combinatorsβ215Updated 10 months ago
- β‘οΈEfficient implementation of Map with types as keysβ100Updated last year
- Haskell Functional Reactive Programming framework with type-level clocksβ129Updated this week
- Fast parsing from bytestringsβ157Updated 3 weeks ago
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- VSCode extension for Haskellβ110Updated 3 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ121Updated 3 months ago
- Total Parser Combinators in Agdaβ126Updated last year
- Utilities and documentation for exploring idirs2's new elaborator reflection.β81Updated 3 months ago
- Compiling Agda code to readable Haskellβ186Updated this week
- Load a GHCi session for a Haskell project and reload it when source files changeβ134Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β83Updated 4 years ago
- A community-driven collection of documentation for Haskell error messages and warningsβ105Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β94Updated 3 weeks ago
- Repository with code snippets that accompany episodes of The Haskell Unfolderβ97Updated 2 weeks ago
- Standard library for linear types in Haskell.β343Updated 3 weeks ago
- A Haskell blogβ138Updated 10 months ago
- A tool suite to aid Haskell development using `cabal-install`β86Updated 4 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.β120Updated last month
- β119Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.β81Updated 2 weeks ago
- βοΈ A refinement proof framework for haskellβ69Updated last year
- Documentation about Haskell's dangerous functions and a hlint config file to warn about themβ178Updated 2 months ago