Fantastic, I've been really interested to see a nonfinancial application of k that I could compare to implementations in languages I'm familiar with. If anyone else knows of other such k applications please share them!
I think I can still make a number of simplifications and generalizations, and I'd like to have a stab at an alpha-beta AI opponent.
There's also a great deal of interesting code at No Stinking Loops: http://www.nsl.com
And of course the impending kOS operating system: http://kparc.com/ with HN discussion: https://news.ycombinator.com/item?id=8475809
There are also some good links here, though you may have to dig: http://www.reddit.com/r/apljk/