Pure State Compile

About

Pure State Compile turns a one-sentence English requirement into typed source in eleven targets, including C99, Rust, Ada, VHDL and SystemVerilog. It is a rule-based compiler with no model in the path, so the same specification, target and compiler build always give the same bytes and SHA-256. It also flags gaps such as an action with no named actor, which supports review in firmware and safety-critical work.