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 3, 2026
mbeddr / homebrew-mbeddr
homebrew formulars used 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.
#27540287GitHub 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/mbeddr.installer.win
Windows installer for Mbeddr