This website has a few companies which use K: https://github.com/interregna/arraylanguage-companies