lexi-lambda / eff
π§ a work in progress effect system for Haskell π§
β124Updated 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
- Effects libraries in Haskellβ71Updated last year
- β92Updated 3 weeks ago
- A package index for the Haskell ecosystemβ135Updated this week
- Strongly-typed System F in Haskellβ116Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolderβ94Updated last month
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Fast parsing from bytestringsβ157Updated 3 months ago
- Compiling Agda code to readable Haskellβ186Updated 3 weeks ago
- A re-implementation of weeder using HIE filesβ173Updated last month
- Functional choreographic programming in Haskellβ91Updated 4 months ago
- Total Parser Combinators in Agdaβ126Updated last year
- Haskell Functional Reactive Programming framework with type-level clocksβ129Updated last week
- VSCode extension for Haskellβ110Updated 2 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ121Updated 3 months ago
- Extensional capabilities and deriving combinatorsβ214Updated 9 months ago
- A community-driven collection of documentation for Haskell error messages and warningsβ105Updated 3 weeks ago
- GRIN backend for GHCβ144Updated 3 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.β81Updated 2 months ago
- A Haskell blogβ134Updated 9 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β93Updated last week
- Language Server for Agdaβ107Updated 3 months ago
- Load a GHCi session for a Haskell project and reload it when source files changeβ131Updated last month
- Inspection Testing for Haskellβ176Updated 3 months ago
- β89Updated 3 years ago
- Best practices on how to be efficient with Haskell in productionβ96Updated 9 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.β81Updated last month
- A PureScript interpreter in Haskellβ120Updated 2 years ago
- Prelude written in @Serokellβ182Updated 2 months ago
- Hey! Hey! Can u rel8?β158Updated last month