Skip to content

@sessionc sessionc

Change the repository type filter

All

    Repositories list

    8 repositories

    • 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 …
      C++
      •2•0•0•0•Updated Sep 11, 2012Sep 11, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.