Have a look at Arthur's text editor in k5: http://kparc.com/edit.k

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/