ko

ko is an open source programming language created in 2018 by Petar Maymounkov.

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

• ko is developed on GitHub and has 305 stars
• ko first developed in https://github.com/kocircuit/kocircuit