Note that there is [0] but Arthur/Shakti[1] are also working on k/fun/junior which should be open source and about 25kb binary.

[0] https://github.com/kparc/ksimple [1] https://shakti.com