Here is [my implementation](https://github.com/TediCreations/HSM) of a HSM for embedded systems in C99. I am not sure if you provide a backend for running actual C code. If not I could fill this gap. :) I really like your project.