This repository contains the specr infrastructure for MiniRust:
First, there is specr-transpile, which converts the specr lang code to actual Rust code, see here if you are interested in this process.
The generated Rust code makes use of libspecr and gccompat-derive, which defines a small garbage collector and a few types used in the Minirust spec.