jetbrains-mps
There are 5 repositories under jetbrains-mps topic.
- Language:JetBrains MPS 224
- Language:JetBrains MPS 81
- Language:Makefile 56
- Language:JetBrains MPS 41
JetBrains / mps-coderules
Type checking and logical inference for JetBrains MPS
Language:JetBrains MPS 31mbeddr / mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Language:JetBrains MPS 23ModelingValueGroup / dclareForMPS
Adding declarative, reactive and incremental rules to MPS
Language:JetBrains MPS 21JetBrains-Community / discord
The JetBrains Community Discord Server - JetBot, the Python bot behind it
Language:Python 19- Language:Python 18
Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.
Language:Kotlin 14specificlanguages / mps-gradle-plugin
A Gradle plugin to package and publish MPS plugins
Language:Kotlin 9- Durchblick
coolya / Durchblick
Durchblick is a plugin for JetBrains MPS that provides an alternate editor for generator templates.
Language:JetBrains MPS 8 - mps-platform-docs
This website collects practical knowledge about MPS and platforms such as MPS-extensions and mbeddr.
Language:JetBrains MPS 8 - Language:JetBrains MPS 8
source code for the MPS tutorial website at heavymeta.tv
Language:HTML 7- Language:Groovy 7
- gistLanguage:Kotlin 6
A guide to maintainable generators in JetBrains MPS
alexanderpann / mps-gotchas
This website answers some common questions about MPS and shows common gotchas and pitfalls when working with MPS.
Language:HTML 4- Language:JetBrains MPS 4
fisakov / fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
sioux-technologies / RService
Solution that provides a CRUD access to MPS models for 3rd party applications in a reactive and incremental fashion.
Language:JetBrains MPS 4iconmaster5326 / BinaryGen
Generate binary files as well as text files with JetBrains MPS.
Command-line utilities used e.g. by Gradle plugins to generate or check models.
Language:Kotlin 3- Language:JetBrains MPS 2
The published Jetbrains Runtime Environment for MPS
Plain gradle repository to download and publish new MPS versions
- AI2001_Category-Source_Code-SC-JetBrains-MPS
seanpm2001 / AI2001_Category-Source_Code-SC-JetBrains-MPS
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:JetBrains-MPS category for AI2001, containing JetBrains MPS programming language datasets
Language:R 2 - Learn-Jetbrains-MPS
A repository for showcasing my knowledge of the JetBrains MPS programming language, and continuing to learn the language.
Language:JetBrains MPS 2 - SNU_2D_ProgrammingTools_IDE_Jetbrains-MPS
The JetBrains MPS programming language IDE for SNU Programming Tools (2D Mode)
Language:JetBrains MPS 2 - Language:TypeScript 2
- Language:Kotlin 2
- Language:Java 2
