Comment by liveranga

There's also a number of different open source implementations of various versions of K listed on the K wiki:

https://k.miraheze.org/wiki/Running_K