lexi-lambda / effLinks
π§ a work in progress effect system for Haskell π§
β131Updated last year
Alternatives and similar repositories for eff
Users that are interested in eff are comparing it to the libraries listed below
Sorting:
- Fast and concise extensible effectsβ109Updated 2 years ago
- Strongly-typed System F in Haskellβ118Updated 2 years ago
- Effects libraries in Haskellβ71Updated 2 years ago
- β120Updated this week
- Utilities and documentation for exploring idirs2's new elaborator reflection.β83Updated last week
- Functional choreographic programming in Haskellβ101Updated 2 months ago
- A Haskell blogβ148Updated last month
- Fast parsing from bytestringsβ166Updated 2 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 7 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Inspection Testing for Haskellβ185Updated 2 months ago
- Language Server for Agdaβ113Updated 3 weeks ago
- GRIN backend for GHCβ144Updated 3 years ago
- GHC Whole Program Compiler and External STG IR toolingβ118Updated 9 months ago
- Haskell Functional Reactive Programming framework with type-level clocksβ133Updated this week
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β83Updated 4 years ago
- A re-implementation of weeder using HIE filesβ178Updated 3 weeks ago
- Total Parser Combinators in Agdaβ132Updated 2 weeks ago
- Efficient Haskell effect handlers based on evidence translation.β84Updated 4 years ago
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- Source material for Certainty by Constructionβ44Updated last year
- A package index for the Haskell ecosystemβ143Updated this week
- Compositional Representable Executable Machinesβ120Updated last month
- Extensional capabilities and deriving combinatorsβ219Updated last year
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- Compiling Agda code to readable Haskellβ190Updated 3 weeks ago
- SPLV20 course notesβ112Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β96Updated 2 months ago
- An unofficial Idris2 package repository for Nixβ47Updated 2 years ago
- An implementation of Pie in Haskellβ209Updated 5 years ago