b2program
Code generator from B to Java, C++, Python, Rust, and TypeScript
B2Program generates code in Java, C++, Python, Rust, and TypeScript from high-level B models.
homepage ↗ github: favu100/b2program
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 0.1.0_p20260512 | 1 | 27 h | details › |