Repository navigation

libsesstype

Public

About

Session Types programming library for C/C++

Custom properties

4 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
build		build
debian		debian
include/sesstype		include/sesstype
lib		lib
src		src
.clang_complete		.clang_complete
.gitignore		.gitignore
Common.mk		Common.mk
Makefile		Makefile
README.md		README.md
Rules.mk		Rules.mk

Repository files navigation

libsesstype

Internal tree representation of Session Types, core module of Session C.

About

Session Types programming library for C/C++

Custom properties

4 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages