AFAIK this is not the repo for the code in the talk. The talk is about using K as a language. The repo in [1] is a JS implementation that runs in the browser. It seems like it's his first run at this idea of spreadsheets accompanying code.