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
- Effects libraries in Haskellβ71Updated last year
- Fast and concise extensible effectsβ108Updated last year
- β89Updated this week
- Strongly-typed System F in Haskellβ117Updated 2 years ago
- Functional choreographic programming in Haskellβ91Updated 3 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ121Updated 2 months ago
- Total Parser Combinators in Agdaβ126Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolderβ89Updated last week
- Utilities and documentation for exploring idirs2's new elaborator reflection.β80Updated last month
- β113Updated last month
- Source material for Certainty by Constructionβ41Updated last year
- Compiling Agda code to readable Haskellβ183Updated last week
- Load a GHCi session for a Haskell project and reload it when source files changeβ130Updated last week
- A package index for the Haskell ecosystemβ134Updated this week
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β83Updated 3 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.β81Updated 2 weeks ago
- GRIN backend for GHCβ144Updated 3 years ago
- A re-implementation of weeder using HIE filesβ172Updated 2 weeks ago
- Compositional Representable Executable Machinesβ111Updated 3 months ago
- Language Server for Agdaβ106Updated 3 months ago
- SPLV20 course notesβ108Updated 2 years ago
- Language Server for Idris2β174Updated last month
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Fast parsing from bytestringsβ156Updated 2 months ago
- A community-driven collection of documentation for Haskell error messages and warningsβ105Updated last week
- GHC Whole Program Compiler and External STG IR toolingβ118Updated 4 months ago
- An implementation of Pie in Haskellβ205Updated 5 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- Extensional capabilities and deriving combinatorsβ214Updated 8 months ago
- Active streaming declarative programmers. See who's online at the following URL:β67Updated last year