-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
mrustc already fills the bootstrapping use case.
It seems that the entire idea of requiring humans to interpret specifications is unworkable and leads to both poor specification and bugs. A far better idea is to construct executable models so you can compare your behavior to the behavior of the model. This is underway for large chunks of Rust via miri, and formal specification with proof of correctness for other chunks via RustBelt.
If CFI is the motivation, why not simply reuse the existing rustc frontend and make it emit GCC IR? https://github.com/antoyo/rustc_codegen_gcc is a proof of concept that does exactly that.