efremov@linux.com Denis Efremov https://github.com/favu100/b2program/issues favu100/b2program B2Program generates code in Java, C++, Python, Rust, and TypeScript from high-level B models.