sayo-hs / heftiaLinks
A theory‑backed, ultra type‑safe algebraic effects
☆183Updated 4 months ago
Alternatives and similar repositories for heftia
Users that are interested in heftia are comparing it to the libraries listed below
Sorting:
- ☆135Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- A package index for the Haskell ecosystem☆146Updated last week
- A fast, safe, and intuitive DataFrame library.☆155Updated this week
- Effects libraries in Haskell☆71Updated 2 years ago
- Lightweight and composable servers for Haskell☆67Updated 2 years ago
- ☆179Updated 3 weeks ago
- VSCode extension for Haskell☆110Updated 10 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆108Updated 3 weeks ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Compositional Representable Executable Machines☆121Updated 2 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆154Updated last week
- A re-implementation of weeder using HIE files☆183Updated 4 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated last month
- Fast parsing from bytestrings☆173Updated last month
- Automatically generate Haskell bindings from C header files☆60Updated this week
- Docker image with GHC+musl for static executables☆139Updated last year
- Functional choreographic programming in Haskell☆110Updated 5 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 9 months ago
- Github actions for Haskell CI☆146Updated last year
- A modern testing framework for Haskell with good defaults and advanced testing features.☆127Updated 3 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago
- ☆87Updated 4 years ago
- A modern step-through debugger for GHC Haskell☆83Updated this week
- A collection of Haskell's WATs☆94Updated 10 months ago
- A Haskell blog☆151Updated last month
- ☆104Updated 3 months ago
- Hey! Hey! Can u rel8?☆160Updated last month
- Language Server for Agda☆120Updated last month
- OpenTelemetry support for the Haskell programming language☆92Updated last month