minirust-tooling

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.