ko is an open source programming language created in 2018 by Petar Maymounkov.
git clone https://github.com/kocircuit/kocircuit
#1451on PLDB | 6Years Old |
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations