Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
โ16Jan 28, 2026Updated 6 months ago
Alternatives and similar repositories for MultiChor
Users that are interested in MultiChor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional choreographic programming in Haskellโ129Jun 4, 2026Updated 2 months ago
- ๐ถ Choreographic programming in Rust ๐ถโ73Mar 16, 2025Updated last year
- Handle POSIX cron schedules.โ13Aug 3, 2026Updated last week
- Types for ldtkโ16Apr 13, 2024Updated 2 years ago
- PostgreSQL Schema Migrations for Haskellโ18Jan 11, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A bioinformatics tool for analyzing somatic hypermutationโ19Feb 10, 2024Updated 2 years ago
- Bidirectional mapping between two key typesโ21May 1, 2024Updated 2 years ago
- Contravariant functorsโ12Oct 27, 2022Updated 3 years ago
- Haskell Actorsโ26Sep 5, 2023Updated 2 years ago
- Low-level bindings to WebGPUโ16Aug 4, 2023Updated 3 years ago
- A tool for OpenTelemetry tracing on the command lineโ23Jul 16, 2026Updated 3 weeks ago
- โ30Jul 13, 2026Updated 3 weeks ago
- Haskell Profunctor Optics experimentsโ17Sep 23, 2021Updated 4 years ago
- โ26Dec 13, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P โ NP: Computational Topology via Categorical Framework"โ17Oct 28, 2025Updated 9 months ago
- Treat undo history as a treeโ10May 25, 2024Updated 2 years ago
- The Montreal Haskell Compilerโ27Oct 16, 2025Updated 9 months ago
- A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks postโฆโ23Updated this week
- Leibniz Equalityโ20Jun 7, 2018Updated 8 years ago
- Lazeใฎใณใณใใคใฉโ16Sep 12, 2022Updated 3 years ago
- โ64Jun 21, 2026Updated last month
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.โ15Feb 9, 2016Updated 10 years ago
- Framework for artificial life and other evolutionary algorithms.โ31Sep 5, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- โ13Apr 19, 2020Updated 6 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collectionโ20Mar 2, 2025Updated last year
- A curated list of CPU Schedulers for linuxโ14Mar 7, 2022Updated 4 years ago
- โ12Jun 24, 2026Updated last month
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)โ46Jan 5, 2026Updated 7 months ago
- Experiments about running Haskell via WebAssembly on Fastlyโ40Mar 9, 2023Updated 3 years ago
- Tools for working with derived Show instances in Haskell.โ58Mar 7, 2026Updated 5 months ago
- Turn Haskell expressions into pointfree style in your browser with WASMโ13Dec 15, 2024Updated last year
- Assorted concrete container typesโ355Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mirror of GNU Emacsโ13Jul 25, 2026Updated 2 weeks ago
- PureScript Mockโ17Dec 24, 2023Updated 2 years ago
- โ192Jul 22, 2026Updated 2 weeks ago
- Haskell client library for HashiCorp's Vault tool (via HTTP API)โ10Oct 28, 2021Updated 4 years ago
- โ15Oct 22, 2023Updated 2 years ago
- ๐ฟ Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.โ45Aug 2, 2026Updated last week
- A simple library implementation of binary sessionsโ11Jun 18, 2024Updated 2 years ago