Projects in Awesome Lists tagged with mbeddr

A curated list of projects in awesome lists tagged with mbeddr .

• Sort

  • Recently synced
  • Stars

https://github.com/mbeddr/mbeddr.core

The mbeddr core. An extensible C

c embedded jetbrains-mps mbeddr

Last synced: 12 May 2025

https://github.com/mbeddr/mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

architecture contract-based-design gsn interface-specification jetbrains-mps mbeddr nusmv prism requirements-specification safety-assurance spin stpa z3

Last synced: 10 Mar 2025

https://github.com/mbeddr/mbeddr.spin

Integrating the SPIN model checker into mbeddr.

jetbrains-mps mbeddr spin

Last synced: 10 Mar 2025

https://github.com/mbeddr/mbeddr.installer.win

Windows installer for Mbeddr

installer jetbrains-mps mbeddr nsis nsis-installer windows

Last synced: 10 Mar 2025