Causality

Software under the causality project that aims at providing a framework to describe causal and interactive semantics of programming languages.