marcosh / crem
Compositional Representable Executable Machines
☆116Updated 4 months ago
Alternatives and similar repositories for crem:
Users that are interested in crem are comparing it to the libraries listed below
- ☆92Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆125Updated last year
- A collection of Practical Haskell bits.☆85Updated 2 years ago
- OpenTelemetry support for the Haskell programming language☆86Updated 3 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated this week
- A package index for the Haskell ecosystem☆135Updated last week
- Source material for Certainty by Construction☆41Updated last year
- Fast and concise extensible effects☆108Updated last year
- A collection of Haskell's WATs☆92Updated 2 months ago
- A modern template for a Servant☆53Updated 11 months ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Yet another test framework for Haskell.☆67Updated last week
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- ☆49Updated 5 years ago
- ☆93Updated last year
- self(auto)- documenting encoders and decoders☆125Updated last month
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆97Updated last month
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Load a GHCi session for a Haskell project and reload it when source files change☆131Updated last month
- high-powered optics in a small package☆54Updated 6 months ago
- ☆103Updated 3 years ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆120Updated 2 weeks ago
- A logical authorization system☆50Updated 3 years ago
- Native Haskell gRPC client and server based on `http2`☆70Updated 2 weeks ago
- Template Haskell utilities for Hasql☆112Updated 3 months ago
- A Haskell blog☆134Updated 9 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 3 months ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year