marcosh / cremLinks
Compositional Representable Executable Machines
☆120Updated last month
Alternatives and similar repositories for crem
Users that are interested in crem are comparing it to the libraries listed below
Sorting:
- ☆118Updated last week
- Effects libraries in Haskell☆71Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated last year
- ☆54Updated 2 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆131Updated last week
- self(auto)- documenting encoders and decoders☆128Updated 3 weeks ago
- A collection of Practical Haskell bits.☆85Updated 2 years ago
- A package index for the Haskell ecosystem☆143Updated this week
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last month
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- A structured concurrency library☆85Updated 5 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆105Updated 2 weeks ago
- ☆103Updated 3 years ago
- ☆93Updated last year
- high-powered optics in a small package☆53Updated 10 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆181Updated 5 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆121Updated last week
- A logical authorization system☆51Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Source material for Certainty by Construction☆44Updated last year
- OpenTelemetry support for the Haskell programming language☆87Updated last month
- Automatically generate Haskell bindings from C header files☆54Updated this week
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- A collection of Haskell's WATs☆95Updated 6 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆220Updated 5 months ago
- A theory‑backed, ultra type‑safe algebraic effects☆172Updated last week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆95Updated 2 months ago
- A re-implementation of weeder using HIE files☆177Updated last week