marcosh / crem
Compositional Representable Executable Machines
☆116Updated 5 months ago
Alternatives and similar repositories for crem
Users that are interested in crem are comparing it to the libraries listed below
Sorting:
- ☆98Updated this week
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Source material for Certainty by Construction☆41Updated last year
- Effects libraries in Haskell☆71Updated last year
- A theory‑backed, ultra type‑safe algebraic effects☆99Updated 2 weeks ago
- Automatically generate Haskell bindings from C header files☆44Updated this week
- Native Haskell gRPC client and server based on `http2`☆70Updated last month
- A collection of Haskell's WATs☆92Updated 3 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆97Updated this week
- haskell source code visualizer☆99Updated last week
- OpenTelemetry support for the Haskell programming language☆86Updated last month
- A package index for the Haskell ecosystem☆136Updated last week
- A collection of Practical Haskell bits.☆85Updated 2 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- ☆93Updated last year
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A structured concurrency library☆86Updated 2 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆178Updated 2 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆122Updated this week
- self(auto)- documenting encoders and decoders☆126Updated 2 months ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week
- Fast and concise extensible effects☆108Updated last year
- A modern template for a Servant☆53Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- todo and unimplemented, robustly implemented☆33Updated 8 months ago
- ☆49Updated 5 years ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆105Updated last year
- LLM-powered typed-holes☆38Updated last week