Mbeddr

build.publish.jdk

The published Jetbrains Runtime Environment for MPS

build.publish.mps

Plain gradle repository to download and publish new MPS versions

mbeddr.arduino

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

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.

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-platform-docs

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

mps-qa

Quality Assurance Tooling for Jetbrains' MPS

mbeddr/mbeddr.core

The mbeddr core. An extensible C

mbeddr/mbeddr.formal

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

mbeddr/mps-gradle-plugin

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

mbeddr/mps-platform-docs

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

mbeddr/mps-qa

Quality Assurance Tooling for Jetbrains' MPS

mbeddr/mps-cli

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

mbeddr/mbeddr.arduino

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

mbeddr/mps-build-backends

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

mbeddr/build.publish.jdk

The published Jetbrains Runtime Environment for MPS

mbeddr/build.publish.mps

Plain gradle repository to download and publish new MPS versions

mbeddr/language_verification

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

mbeddr/mbeddr.build.docker

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

mbeddr/mbeddr.build.esp8266.docker

mbeddr/mbeddr.github.io

mbeddr website (github pages)

mbeddr/mps-logical-view-checks

An MPS language that supports adding info, warning and error messages to the logical view

mbeddr/TypeChef

Type checking ifdef variability

mbeddr/.github

Landing page of the mbeddr organisation.

mbeddr/homebrew-mbeddr

homebrew formulars used for mbeddr

mbeddr/mbeddr.build.docker.env

mbeddr/mbeddr.installer.win

Windows installer for Mbeddr

mbeddr/mbeddr.robot

mbeddr/mbeddr.spin

Integrating the SPIN model checker into mbeddr.

mbeddr/mps-libs-java8

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

mbeddr/mps-platform-finder

Find the Git commit or Nexus package for a platform version

mbeddr/publish-mps-prereleases

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