• try it online!
  • dol is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping
  • sepi is a a concurrent programming language based on the monadic pi-calculus where interaction is governed by linearly refined session types
  • propi is a tool to statically verify whether pi calculus programs are free from deadlocks
  • mool mool is a mini OO languaged style with support for concurrency that allows programmers to specify class usage protocols as types
  • quest checks Java code against algebraic specifications
  • (read more...)