mbeddr/mbeddr.build.docker
This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects.
Public GitHub Catalog
Discovered Oct 7, 2026
mbeddr / mbeddr.installer.win
Windows installer for Mbeddr
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#35238407GitHub System ID
mbeddrOrganization / User
PublicVisibility
ActiveCatalog Status
More from mbeddr
mbeddr/mbeddr.robot
Public repository.
mbeddr/mbeddr.spin
Integrating the SPIN model checker into mbeddr.
mbeddr/TypeChef
Type checking ifdef variability