[sam_bristow]

Stoke Space[1] uses a similar system, letting people write arbitrary code to generate a static configuration for their launch vehicle. It means you get all the power of something like Python during development but also a deterministic, bounded config for the critical flight systems. I think their config files are just TOML that is consumed by Rust.

I'll try dig out a link to the talk one of their Flight Software Engineers did on the concept.

[1] https://www.stokespace.com/