ko is a programming language created in 2018 by Petar Maymounkov.
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
View source