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
- ☆84Updated last month
- Effects libraries in Haskell☆71Updated last year
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆79Updated last month
- A Haskell blog☆134Updated 8 months ago
- Best practices on how to be efficient with Haskell in production☆96Updated 8 months ago
- Fast parsing from bytestrings☆156Updated 2 months ago
- Extensional capabilities and deriving combinators☆214Updated 8 months ago
- GRIN backend for GHC☆143Updated 3 years ago
- Total Parser Combinators in Agda☆126Updated last year
- Compiling Agda code to readable Haskell☆182Updated this week
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆120Updated last week
- Functional choreographic programming in Haskell☆91Updated 3 months ago
- Compositional Representable Executable Machines☆111Updated 3 months ago
- A package index for the Haskell ecosystem☆134Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 6 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆89Updated last month
- A re-implementation of weeder using HIE files☆172Updated last week
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated this week
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Language Server for Agda☆106Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- ☆99Updated last week
- LLVM code generation in Haskell☆54Updated 4 months ago
- higher-order algebraic effects done right for Haskell☆85Updated 2 weeks ago
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- VSCode extension for Haskell☆110Updated last month