mbeddr Goto Github PK

.github

Landing page of the mbeddr organisation.

build.publish.jdk

The published Jetbrains Runtime Environment for MPS

build.publish.mps

Plain gradle repository to download and publish new MPS versions

homebrew-mbeddr

homebrew formulars used for mbeddr

language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.

mbeddr.arduino

This is a DSL to write programs for the Arduino platform.

mbeddr.build.docker

This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects.

mbeddr.build.docker.env

mbeddr.build.esp8266.docker

mbeddr.core

The mbeddr core. An extensible C

mbeddr.formal

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

mbeddr.github.io

mbeddr website (github pages)

mbeddr.installer.win

Windows installer for Mbeddr

mbeddr.robot

mbeddr.spin

Integrating the SPIN model checker into mbeddr.

mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.

mps-cli

Tooling for accessing MPS models from command line without starting MPS instances.

mps-gradle-plugin

Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.

mps-libs-java8

Build Java 8-compatible runtime libraries from MPS so that generated code that depends on them can run on JVM 8

mps-platform-docs

This website collects practical knowledge about MPS and platforms such as MPS-extensions and mbeddr.

mps-platform-finder

Find the Git commit or Nexus package for a platform version

mps-qa

Quality Assurance Tooling for Jetbrains' MPS

publish-mps-prereleases

Publishing of MPS pre-releases from JetBrains TeamCity to itemis Nexus.

typechef

Type checking ifdef variability