cloudchor: Lightweight and efficient choreographic programming for cloud services
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Properties
| Versions | 0.1.0.0, 0.1.0.1, 0.1.0.1 |
|---|---|
| Change log | None available |
| 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] |
| 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:18:52Z |
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
Package maintainers
For package maintainers and hackage trustees
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.