sayo-hs / heftiaLinks
A theory‑backed, ultra type‑safe algebraic effects
☆179Updated 3 months ago
Alternatives and similar repositories for heftia
Users that are interested in heftia are comparing it to the libraries listed below
Sorting:
- ☆132Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Effects libraries in Haskell☆71Updated 2 years ago
- A fast, safe, and intuitive DataFrame library.☆151Updated this week
- A package index for the Haskell ecosystem☆145Updated last week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆107Updated 3 weeks ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated last month
- Lightweight and composable servers for Haskell☆67Updated last year
- A re-implementation of weeder using HIE files☆181Updated 3 months ago
- Automatically generate Haskell bindings from C header files☆60Updated this week
- Compositional Representable Executable Machines☆121Updated 3 weeks ago
- Functional choreographic programming in Haskell☆106Updated 5 months ago
- ☆176Updated 2 weeks ago
- Docker image with GHC+musl for static executables☆139Updated last year
- Fast parsing from bytestrings☆170Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 8 months ago
- A modern step-through debugger for GHC Haskell☆80Updated this week
- VSCode extension for Haskell☆110Updated 9 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆151Updated last month
- A modern testing framework for Haskell with good defaults and advanced testing features.☆127Updated last month
- A collection of Practical Haskell bits.☆86Updated 3 years ago
- A Haskell blog☆151Updated last month
- Github actions for Haskell CI☆146Updated last year
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆224Updated 8 months ago
- Native Haskell gRPC client and server based on `http2`☆79Updated 2 weeks ago
- Browse Hackage from the terminal☆101Updated last month
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- Compiling Agda code to readable Haskell☆194Updated last week