Show HN: Pure State Compile – one requirement sentence to C, C++ or Ada source

Category: devtools

Tags: code-generation, formal-methods, safety-critical, requirements-engineering, compiler

Score: 6.7/10 (Innovation: 8, Technical: 7, Documentation: 6, Utility: 5)

Pure State Compile translates controlled English requirement sentences into source code for 11 targets including C, C++, Ada, SPARK, and VHDL, with deterministic hashing and audit evidence for safety-critical certification. It is interesting because it avoids LLMs, uses a rule-based grammar, and produces traceable MISRA-C and DO-178C artifacts, combining formal methods with a natural-language interface.

Target audience: embedded systems engineers, safety-critical developers, certification engineers, systems engineers

Repository: https://compile.purestatelabs.com/#try

View on Hacker News