gitlab.inria.fr / causality 4 Repositories
Software under the causality project that aims at providing a framework to describe causal and interactive semantics of programming languages.
causality/petri-strategies
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
causality/causality-monad
The causality monad, to describe concurrent computations.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
causality/causal-ocaml
An implementation of a causal and interactive model for a concurrent MiniOCaml
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
causality/weakmem
Implementation of weak memory models using Causality
Last synced at: 8 months ago - Stars: 0 - Forks: 0