cloudchor: Lightweight and efficient choreographic programming for cloud services
Modules
[Index] [Quick Jump]
Downloads
- cloudchor-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1.0.0, 0.1.0.1 |
|---|---|
| Dependencies | base (>=4.16 && <4.21), containers (>=0.6 && <0.7), http-client (>=0.7 && <0.8), mtl (>=2.3 && <2.4), servant (>=0.19 && <0.21), servant-client (>=0.19 && <0.21), servant-server (>=0.19 && <0.21), sop-core (>=0.5 && <0.6), template-haskell (>=2.18 && <2.23), unordered-containers (>=0.2 && <0.3), warp (>=3.3 && <3.4) [details] |
| Tested with | ghc ==9.10.3, ghc ==9.8.4 |
| License | MPL-2.0[multiple license files] |
| Copyright | Copyright (C) 2025 Alex Ionescu |
| Author | Alex Ionescu |
| Maintainer | Alex Ionescu <hackage@ionescu.sh> |
| Category | Concurrency |
| Home page | https://github.com/aionescu/cloudchor |
| Bug tracker | https://github.com/aionescu/cloudchor/issues |
| Source repo | head: git clone https://github.com/aionescu/cloudchor |
| Uploaded | by aionescu at 2025-12-18T22:21:01Z |
| Distributions | |
| Downloads | 1 total (1 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Readme for cloudchor-0.1.0.1
[back to package description]CloudChor
CloudChor is a Haskell library for lighweight and efficient choreographic programming aimed at developing cloud services. It is an extension of the HasChor library.
For more details, see the PEPM '26 paper: Towards Lightweight and Efficient Choreographic Cloud Services.
Repository structure
src/contains the source code of the library.Choreography.Location.Multiis the module that implements multiply-located values.
examples/includes example programs using the library.clean-room: An implementation of a data clean room protocol as a choreography.unsoundness: Two counter-examples showing how unrestricted IO can lead to unsoundness.HasChor: The original examples from the HasChor repository.
benchmark/contains the setup for running benchmarks to comparecondvs.cond_.
License
This repository is provided under the terms of the Mozilla Public License 2.0. It is based on HasChor, which is provided under the BSD-3-Clause License.