Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
โ17Jan 28, 2026Updated 7 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โ135Jun 4, 2026Updated 3 months ago
- ๐ถ Choreographic programming in Rust ๐ถโ73Mar 16, 2025Updated last year
- Handle POSIX cron schedules.โ13Aug 14, 2026Updated last month
- Types for ldtkโ16Apr 13, 2024Updated 2 years ago
- PostgreSQL Schema Migrations for Haskellโ18Jan 11, 2026Updated 8 months 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.
- 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 3 years ago
- Visualize yabai window stacks on macOS. Works with yabai & hammerspoon.โ11Aug 28, 2023Updated 3 years ago
- Low-level bindings to WebGPUโ16Aug 4, 2023Updated 3 years ago
- A tool for OpenTelemetry tracing on the command lineโ23Aug 14, 2026Updated last month
- โ30Jul 13, 2026Updated 2 months ago
- Haskell Profunctor Optics experimentsโ17Sep 23, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI โข AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- โ26Dec 13, 2023Updated 2 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P โ NP: Computational Topology via Categorical Framework"โ18Oct 28, 2025Updated 10 months ago
- Treat undo history as a treeโ10May 25, 2024Updated 2 years ago
- The Montreal Haskell Compilerโ27Oct 16, 2025Updated 11 months ago
- A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks postโฆโ25Updated this week
- Leibniz Equalityโ20Jun 7, 2018Updated 8 years ago
- sockets for Lean 4โ23Jul 10, 2025Updated last year
- Lazeใฎใณใณใใคใฉโ16Sep 12, 2022Updated 4 years ago
- โ64Updated this 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.
- 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 4 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โ16Mar 7, 2022Updated 4 years ago
- โ14Apr 19, 2020Updated 6 years ago
- A toy implementation of socket programming for Lean 4.โ27Feb 23, 2023Updated 3 years ago
- โ12Jun 24, 2026Updated 2 months ago
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)โ46Aug 13, 2026Updated last month
- Experiments about running Haskell via WebAssembly on Fastlyโ40Mar 9, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tools for working with derived Show instances in Haskell.โ58Mar 7, 2026Updated 6 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
- Mirror of GNU Emacsโ13Jul 25, 2026Updated last month
- PureScript Mockโ17Sep 12, 2026Updated last week
- Haskell client library for HashiCorp's Vault tool (via HTTP API)โ10Oct 28, 2021Updated 4 years ago
- โ15Oct 22, 2023Updated 2 years ago