sayo-hs / heftiaLinks
A theory‑backed, ultra type‑safe algebraic effects
☆172Updated last month
Alternatives and similar repositories for heftia
Users that are interested in heftia are comparing it to the libraries listed below
Sorting:
- ☆122Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆132Updated 2 years ago
- ☆165Updated last week
- Lightweight and composable servers for Haskell☆67Updated last year
- A package index for the Haskell ecosystem☆145Updated last week
- Effects libraries in Haskell☆71Updated 2 years ago
- A fast, safe, and intuitive DataFrame library.☆121Updated this week
- Functional choreographic programming in Haskell☆101Updated 2 months ago
- A re-implementation of weeder using HIE files☆178Updated last month
- Docker image with GHC+musl for static executables☆139Updated last year
- A community-driven collection of documentation for Haskell error messages and warnings☆107Updated 5 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆106Updated last month
- Compositional Representable Executable Machines☆121Updated last month
- VSCode extension for Haskell☆111Updated 7 months ago
- Automatically generate Haskell bindings from C header files☆55Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 3 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆124Updated last month
- Load a GHCi session for a Haskell project and reload it when source files change☆142Updated last week
- Fast parsing from bytestrings☆166Updated this week
- Native Haskell gRPC client and server based on `http2`☆74Updated 3 weeks ago
- A Haskell blog☆148Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆183Updated 6 months ago
- ☆57Updated 2 months ago
- Browse Hackage from the terminal☆102Updated 8 months ago
- ☆88Updated 3 years ago
- Hey! Hey! Can u rel8?☆159Updated this week
- Github actions for Haskell CI☆146Updated last year
- OpenTelemetry support for the Haskell programming language☆87Updated 2 months ago
- Compiling Agda code to readable Haskell☆190Updated last month