Mbeddr
mbeddr is an extensible language workbench and IDE for embedded software development. It provides a C-based programming environment with domain-specific language extensions, formal verification capabilities, and requirements traceability features to improve embedded systems development.
