Name		Name	Last commit message	Last commit date
README.md		README.md

Repository files navigation

calco

Contract-based approach to specify distributed dataflows.

Java (and Kotlin) API implementation here.
Python API implementation: https://github.com/flame-stream/palco
Haskell prototype: https://github.com/flame-stream/halco

About

Contract-based approach to declaratively specify distributed dataflows

axiomatic-semantics distributed-computing hoare-logic optimization stream-processing

Custom properties

0 stars

4 watching

Report repository

Contributors