SePi »

SePi (Sessions on Pi) is a concurrent, message-passing programming language based on the pi-calculus and featuring session types.

Mool »

Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types.

Unst »

A unification algorithm for systems of equations on session types with dualof.

Dol »

DOL is an imperative object-oriented programming language featuring a dependent type system based on index refinements.

ParTypes »

ParTypes is a toolchain for validating Message Passing Interface (MPI) programs.