Comment by fuhsnn

> The part of it being written in ARM64 Assembly

There is a C version under literate/verification, for example "main" is [1][2]:

[1] assembly version: ./literate/driver/43-main.weft

[2] C version: ./literate/verification/50-self-hosting-main.weft