marcosh / cremLinks
Compositional Representable Executable Machines
☆121Updated 3 months ago
Alternatives and similar repositories for crem
Users that are interested in crem are comparing it to the libraries listed below
Sorting:
- ☆127Updated this week
- ☆57Updated 4 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆134Updated this week
- Effects libraries in Haskell☆71Updated 2 years ago
- Fast and concise extensible effects☆109Updated 2 years ago
- high-powered optics in a small package☆53Updated 2 weeks ago
- ☆103Updated 3 years ago
- A collection of Practical Haskell bits.☆85Updated 3 years ago
- Source material for Certainty by Construction☆45Updated last year
- Native Haskell gRPC client and server based on `http2`☆75Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 7 months ago
- A structured concurrency library☆85Updated 7 months ago
- A collection of Haskell's WATs☆94Updated 8 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆124Updated this week
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Source material for Algebra-Driven Design☆152Updated last year
- Find your open-soulmate <💜>☆75Updated 3 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆106Updated 2 months ago
- A theory‑backed, ultra type‑safe algebraic effects☆176Updated 2 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆147Updated 3 weeks ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 3 months ago
- The Haskell Foundation Tech Proposal Process☆71Updated 2 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Functional choreographic programming in Haskell☆102Updated 3 months ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated this week