I lately uploaded a PDF to one of my papers about SKI calculus, related to the implementation of functional constructs in SKI calculus. In some time, I plan developing a SKI-calculus based computer algebra system. It seems like a cool idea.
Currently though, asm2bf OS is my first priority. I expressed some ideas on the asm2bf discord server (which you definitely should join!)