Session C programming framework
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin
build
examples
include
lib
perf
src
tests
upstream
utils
.gitignore
.gitmodules
BUILD
Common.mk
Makefile
README.md
Rules.mk
sessc.doxygen

README.md

sessc: Session C Programming framework

Session C is a research project at Department of Computing, Imperial College London with the aim to apply the theory of Multiparty Session Types in a natively compiled language for communication safe programming in a high performance computing environment.

Components

The framework consists of: