You can see some examples here: https://github.com/tsoniclang/proof-is-in-the-pudding

And a hugo clone (which compiles to native code) here: https://github.com/tsoniclang/tsumo

Linux and macOS for now.