Repositories list

• libsesstype

  Public
  Session Types programming library for C/C++

  C

  •0•4•0•0•Updated Aug 25, 2015Aug 25, 2015

• libscribble

  Public
  Parameterised Scribble protocol descripton language support library

  C

  •0•0•0•0•Updated Aug 7, 2015Aug 7, 2015

• libsess

  Public
  Session C (libsess) discontinued in 2012

  C

  •0•1•0•0•Updated Mar 13, 2015Mar 13, 2015

• mpi-pabble-extractor

  Public
  An application which can extract parameterised protocol from MPI C source code

  D

  •0•0•0•0•Updated Sep 1, 2014Sep 1, 2014

• sessc-common

  Public
  Common module for Session C runtime

  C

  •0•2•0•0•Updated Jun 20, 2013Jun 20, 2013

• sessc-typechecker

  Public
  Session C typechecker

  0•0•0•0•Updated Nov 22, 2012Nov 22, 2012

• sessc-mpi

  Public
  Session C runtime in MPI

  C

  •0•1•0•0•Updated Nov 22, 2012Nov 22, 2012

• MPI-Type-checker

  Public
  A program build as a clang plugin in order to enhance communication safety of MPI programs. This is performed by extracting the MPI primitives and the language constructs from a given source code. Following that a global protocol given to the program will be projected into local protocols. The type checker checks the conformance between the tree…

  C++

  •2•0•0•0•Updated Sep 11, 2012Sep 11, 2012