ShapeOfMatter/MultiChor external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ShapeOfMatter/MultiChor

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ShapeOfMatter/MultiChor)

Close

ShapeOfMatter / MultiChorView on GitHubMore

• External links
• Readme badge

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

☆15Jan 28, 2026Updated 5 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.

• gshen42 / HasChor

  View on GitHub
  Functional choreographic programming in Haskell
  ☆127Jun 4, 2026Updated last month
• lsd-ucsc / ChoRus

  View on GitHub
  🎶 Choreographic programming in Rust 🎶
  ☆73Mar 16, 2025Updated last year
• isovector / ldtk-types

  View on GitHub
  Types for ldtk
  ☆16Apr 13, 2024Updated 2 years ago
• andrevdm / postgresql-migration

  View on GitHub
  PostgreSQL Schema Migrations for Haskell
  ☆18Jan 11, 2026Updated 6 months ago
• Matthew-Mosior / fasta-region-inspector

  View on GitHub
  A bioinformatics tool for analyzing somatic hypermutation
  ☆19Feb 10, 2024Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• joelwilliamson / bimap

  View on GitHub
  Bidirectional mapping between two key types
  ☆21May 1, 2024Updated 2 years ago
• purescript / purescript-contravariant

  View on GitHub
  Contravariant functors
  ☆11Oct 27, 2022Updated 3 years ago
• NicolasT / troupe

  View on GitHub
  Haskell Actors
  ☆26Sep 5, 2023Updated 2 years ago
• purescript-web / purescript-webgpu

  View on GitHub
  Low-level bindings to WebGPU
  ☆15Aug 4, 2023Updated 2 years ago
• parsonsmatt / hotel-california

  View on GitHub
  A tool for OpenTelemetry tracing on the command line
  ☆23Updated this week
• eclipse-biscuit / biscuit-haskell

  View on GitHub
  ☆30Jul 13, 2026Updated last week
• ChrisPenner / proton

  View on GitHub
  Haskell Profunctor Optics experiments
  ☆15Sep 23, 2021Updated 4 years ago
• chordify / haskell-servant-pagination

  View on GitHub
  ☆26Dec 13, 2023Updated 2 years ago
• comphomology / pvsnp-formal

  View on GitHub
  Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"
  ☆16Oct 28, 2025Updated 8 months ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• emacsmirror / undo-tree

  View on GitHub
  Treat undo history as a tree
  ☆10May 25, 2024Updated 2 years ago
• haskelltoo / mhc

  View on GitHub
  The Montreal Haskell Compiler
  ☆27Oct 16, 2025Updated 9 months ago
• mzabani / hpgsql

  View on GitHub
  A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks post…
  ☆23Jul 3, 2026Updated 2 weeks ago
• paf31 / purescript-leibniz

  View on GitHub
  Leibniz Equality
  ☆19Jun 7, 2018Updated 8 years ago
• hargoniX / socket.lean

  View on GitHub
  sockets for Lean 4
  ☆23Jul 10, 2025Updated last year
• Laze-Project-Team / LazeCompiler

  View on GitHub
  Lazeのコンパイラ
  ☆15Sep 12, 2022Updated 3 years ago
• haskell / security-advisories

  View on GitHub
  ☆63Jun 21, 2026Updated last month
• TikhonJelvis / imp

  View on GitHub
  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
• mhwombat / creatur

  View on GitHub
  Framework for artificial life and other evolutionary algorithms.
  ☆31Sep 5, 2022Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• Qqwy / haskell-symbolize

  View on GitHub
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆20Mar 2, 2025Updated last year
• trolog / GlowShader

  View on GitHub
  ☆12Apr 19, 2020Updated 6 years ago
• kinale / awesome-linux-cpu-schedulers

  View on GitHub
  A curated list of CPU Schedulers for linux
  ☆14Mar 7, 2022Updated 4 years ago
• knrafto / MathSymbolsInput

  View on GitHub
  LaTeX-style mathematical symbols input method for macOS
  ☆22Nov 23, 2023Updated 2 years ago
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Jun 24, 2026Updated 3 weeks ago
• xubaiw / Socket.lean

  View on GitHub
  A toy implementation of socket programming for Lean 4.
  ☆27Feb 23, 2023Updated 3 years ago
• haskell-hvr / regex-tdfa

  View on GitHub
  Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
  ☆46Jan 5, 2026Updated 6 months ago
• nomeata / haskell-on-fastly

  View on GitHub
  Experiments about running Haskell via WebAssembly on Fastly
  ☆40Mar 9, 2023Updated 3 years ago
• yav / pretty-show

  View on GitHub
  Tools for working with derived Show instances in Haskell.
  ☆58Mar 7, 2026Updated 4 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• pointfree-wasm / pointfree-wasm.github.io

  View on GitHub
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Dec 15, 2024Updated last year
• haskell / containers

  View on GitHub
  Assorted concrete container types
  ☆353Updated this week
• casouri / emacs

  View on GitHub
  Mirror of GNU Emacs
  ☆13Mar 1, 2026Updated 4 months ago
• pujoheadsoft / purescript-pmock

  View on GitHub
  PureScript Mock
  ☆16Dec 24, 2023Updated 2 years ago
• ieugen / bin-guix

  View on GitHub
  Binary packages for guix
  ☆18Apr 9, 2026Updated 3 months ago
• bitc / hs-vault-tool

  View on GitHub
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Oct 28, 2021Updated 4 years ago
• josephsumabat / static-ls

  View on GitHub
  ☆191Updated this week