Compositional Representable Executable Machines
☆127Jul 9, 2026Updated 3 months ago
Alternatives and similar repositories for crem
Users that are interested in crem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC plugin to desugar ! into do-notation☆39Feb 4, 2026Updated 8 months ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Lightweight and composable servers for Haskell☆69Jul 30, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆102Sep 26, 2026Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆58Sep 30, 2026Updated last month
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 3 years ago
- Fast equality saturation in Haskell☆99Mar 9, 2026Updated 7 months ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated last month
- Remove outdated compilation artefacts left by cabal v2-build☆11Apr 11, 2026Updated 6 months ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- GHC plugin for open telemetry☆27Jul 22, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deeply nested, multiple key-type maps.☆10Sep 27, 2026Updated last month
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆20Mar 4, 2026Updated 7 months ago
- A library for building bots compositionally.☆53Jul 24, 2026Updated 3 months ago
- Functional choreographic programming in Haskell☆136Jun 4, 2026Updated 4 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated last year
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆47Jul 14, 2026Updated 3 months ago
- Haskell + PostgreSQL Distributed Job Queue☆28Updated this week
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆85Aug 28, 2026Updated 2 months ago
- A structured concurrency library☆92Feb 23, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An Awesome MCP Server Framework for Haskell☆51Oct 20, 2026Updated last week
- Markov chain Monte Carlo with Metropolis-Hasting algorithm☆19Jun 23, 2025Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 3 years ago
- Extend Cabal build-depends from the command line☆61Sep 3, 2026Updated last month
- Haskell wrapper for iced☆39Feb 22, 2026Updated 8 months ago
- Haskell Playground☆161Sep 16, 2026Updated last month
- ☆26Feb 24, 2023Updated 3 years ago
- Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.☆50Oct 28, 2024Updated 2 years ago
- A modern package index for the Haskell ecosystem☆159Oct 24, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- A community-driven collection of documentation for Haskell error messages and warnings☆108Jan 12, 2026Updated 9 months ago
- Real-time monitoring for any Haskell application with little to no instrumentation!☆32Updated this week
- An efficient finite map from (byte)strings to values.☆20Oct 1, 2026Updated 3 weeks ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Nov 13, 2025Updated 11 months ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated last year