mbeddr

There are 7 repositories under mbeddr topic.

mbeddr/mbeddr.core
The mbeddr core. An extensible C
Language:JetBrains MPS223 46 1.9k77
mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Language:JetBrains MPS23 9 3414
mbeddr/mbeddr.build.docker
This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects.
Language:Dockerfile1 22 42
mbeddr/mbeddr.github.io
mbeddr website (github pages)
Language:HTML1 32 12
mbeddr/.github
Landing page of the mbeddr organisation.
5 0
mbeddr/mbeddr.installer.win
Windows installer for Mbeddr
Language:NSIS25 1
mbeddr/mbeddr.spin
Integrating the SPIN model checker into mbeddr.
25 0