All Git Users → kocircuit

1 open source projects by kocircuit

1. Kocircuit
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
1-1 of 1 user projects