kocircuit. Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations

github.com/petar/kocircuit

Problem

Audience

Updates

No founder updates yet. Check back soon.