Mbeddr

All

25 repositories

mbeddr.core
Public
The mbeddr core. An extensible C
c embedded jetbrains-mps mbeddr
JetBrains MPS
•
Eclipse Public License 2.0
•77•225•319•5•Updated Nov 24, 2024Nov 24, 2024
mbeddr.formal
Public
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
prism architecture z3 spin gsn nusmv jetbrains-mps stpa contract-based-design requirements-specification
JetBrains MPS
•
Apache License 2.0
•14•23•5•2•Updated Nov 23, 2024Nov 23, 2024
mps-qa
Public
Quality Assurance Tooling for Jetbrains' MPS
jetbrains-mps clones-detection models-mutation-and-synthesis tests-coverage language-architecture linting-models deprecation-management
JetBrains MPS
•
Apache License 2.0
•7•10•6•1•Updated Nov 23, 2024Nov 23, 2024
build.publish.jdk
Public
The published Jetbrains Runtime Environment for MPS
gradle artifact jetbrains-mps jetbrains-runtime
Apache License 2.0
•1•2•0•0•Updated Nov 20, 2024Nov 20, 2024
mps-logical-view-checks
Public
An MPS language that supports adding info, warning and error messages to the logical view
modelchecking jetbrains-mps modelchecker logical-view
JetBrains MPS
•
Apache License 2.0
•0•1•0•3•Updated Nov 11, 2024Nov 11, 2024
mps-build-backends
Public
Command-line utilities used e.g. by Gradle plugins to generate or check models.
build gradle gradle-plugin jetbrains-mps
Kotlin
•
Apache License 2.0
•4•3•1•2•Updated Nov 11, 2024Nov 11, 2024
build.publish.mps
Public
Plain gradle repository to download and publish new MPS versions
gradle artifact jetbrains-mps
Apache License 2.0
•4•2•0•0•Updated Nov 4, 2024Nov 4, 2024
mps-platform-docs
Public
This website collects practical knowledge about MPS and platforms such as MPS-extensions and mbeddr.
documentation best-practices gotchas jetbrains-mps
JetBrains MPS
•
The Unlicense
•1•9•5•0•Updated Oct 29, 2024Oct 29, 2024
mps-gradle-plugin
Public
Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.
build dmg rcp jetbrains-mps gradle gradle-plugin build-tool
Kotlin
•
Other
•15•14•21•3•Updated Oct 22, 2024Oct 22, 2024
mps-cli
Public
Tooling for accessing MPS models from command line without starting MPS instances.
python jetbrains-mps cli
Groovy
•
Eclipse Public License 2.0
•1•7•1•12•Updated Oct 19, 2024Oct 19, 2024
publish-mps-prereleases
Public
Publishing of MPS pre-releases from JetBrains TeamCity to itemis Nexus.
jetbrains-mps
Kotlin
•
Apache License 2.0
•0•0•1•0•Updated Jul 16, 2024Jul 16, 2024
mps-platform-finder
Public
Find the Git commit or Nexus package for a platform version
jetbrains-mps
HTML
•0•0•0•0•Updated May 6, 2024May 6, 2024
mbeddr.github.io
Public
mbeddr website (github pages)
mbeddr
HTML
•
Eclipse Public License 1.0
•2•1•0•1•Updated Mar 3, 2024Mar 3, 2024
.github
Public
Landing page of the mbeddr organisation.
landing-page jetbrains-mps mbeddr
0•0•0•0•Updated Feb 20, 2024Feb 20, 2024
mbeddr.build.docker
Public archive
This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects.
docker dockerfiles docker-image teamcity teamcity-agent mbeddr
Dockerfile
•
MIT License
•2•1•0•0•Updated Oct 19, 2023Oct 19, 2023
language_verification
Public archive
A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
dsl jetbrains-mps language-verification verification
Other
•0•1•14•0•Updated Apr 17, 2020Apr 17, 2020
mps-libs-java8
Public archive
Build Java 8-compatible runtime libraries from MPS so that generated code that depends on them can run on JVM 8
java-8 jetbrains-mps
0•0•0•0•Updated Apr 3, 2020Apr 3, 2020
mbeddr.installer.win
Public archive
Windows installer for Mbeddr
windows installer nsis nsis-installer jetbrains-mps mbeddr
NSIS
•
Eclipse Public License 1.0
•0•0•1•0•Updated Nov 19, 2018Nov 19, 2018
mbeddr.arduino
Public archive
This is a DSL to write programs for the Arduino platform.
C
•
Eclipse Public License 1.0
•42•5•0•0•Updated Sep 8, 2017Sep 8, 2017
TypeChef
Public
Type checking ifdef variability
C
•
Other
•36•1•0•0•Updated May 3, 2017May 3, 2017
homebrew-mbeddr
Public archive
homebrew formulars used for mbeddr
Ruby
•
MIT License
•0•0•0•0•Updated Feb 7, 2017Feb 7, 2017
mbeddr.build.docker.env
Public archive
MIT License
•0•0•0•0•Updated Jan 25, 2017Jan 25, 2017
mbeddr.build.esp8266.docker
Public archive
C
•0•1•0•0•Updated Jul 5, 2016Jul 5, 2016
mbeddr.spin
Public archive
Integrating the SPIN model checker into mbeddr.
spin jetbrains-mps mbeddr
Eclipse Public License 1.0
•0•0•0•0•Updated Feb 20, 2016Feb 20, 2016
mbeddr.robot
Public archive
Eclipse Public License 1.0
•0•0•0•0•Updated Jan 20, 2016Jan 20, 2016