An implmentation of dynamically checked session types for Java 🦕🚚🚦
Primary LanguageJavaGNU General Public License v3.0GPL-3.0