The github for the project itself, along with the manual, is here: https://github.com/JohnEarnest/ok/tree/gh-pages/ike

The asteroid demo is as atypical as enjoyable for a k program.

Here is a link to the collection of iKe demos: http://johnearnest.github.io/ok/ike/ike.html