there are a few open source implementations as well by now
https://wiki.k-language.dev/wiki/Running_K