{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mps-cli","owner":"mbeddr","isFork":false,"description":"Tooling for accessing MPS models from command line without starting MPS instances.","topicNames":["python","jetbrains-mps","cli"],"topicsNotShown":0,"allTopics":["python","jetbrains-mps","cli"],"primaryLanguage":{"name":"Groovy","color":"#4298b8"},"pullRequestCount":7,"issueCount":1,"starsCount":7,"forksCount":1,"license":"Eclipse Public License 2.0","participation":[0,2,0,6,2,3,2,0,4,1,0,1,2,0,5,0,0,0,0,0,0,0,0,2,1,1,5,3,1,1,0,5,5,0,0,0,0,0,0,4,0,0,0,0,1,1,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T14:53:18.252Z"}},{"type":"Public","name":"mps-qa","owner":"mbeddr","isFork":false,"description":"Quality Assurance Tooling for Jetbrains' MPS","topicNames":["jetbrains-mps","clones-detection","models-mutation-and-synthesis","tests-coverage","language-architecture","linting-models","deprecation-management"],"topicsNotShown":0,"allTopics":["jetbrains-mps","clones-detection","models-mutation-and-synthesis","tests-coverage","language-architecture","linting-models","deprecation-management"],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":0,"issueCount":6,"starsCount":8,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T09:39:22.220Z"}},{"type":"Public","name":"mbeddr.formal","owner":"mbeddr","isFork":false,"description":"FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering. ","topicNames":["prism","architecture","z3","spin","gsn","nusmv","jetbrains-mps","stpa","contract-based-design","requirements-specification"],"topicsNotShown":3,"allTopics":["prism","architecture","z3","spin","gsn","nusmv","jetbrains-mps","stpa","contract-based-design","requirements-specification","safety-assurance","interface-specification","mbeddr"],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":1,"issueCount":5,"starsCount":23,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T08:29:57.760Z"}},{"type":"Public","name":"mps-gradle-plugin","owner":"mbeddr","isFork":false,"description":"Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.","topicNames":["build","dmg","rcp","jetbrains-mps","gradle","gradle-plugin","build-tool"],"topicsNotShown":0,"allTopics":["build","dmg","rcp","jetbrains-mps","gradle","gradle-plugin","build-tool"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":1,"issueCount":21,"starsCount":14,"forksCount":16,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T15:30:06.934Z"}},{"type":"Public","name":"mps-build-backends","owner":"mbeddr","isFork":false,"description":"Command-line utilities used e.g. by Gradle plugins to generate or check models.","topicNames":["build","gradle","gradle-plugin","jetbrains-mps"],"topicsNotShown":0,"allTopics":["build","gradle","gradle-plugin","jetbrains-mps"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T11:12:25.715Z"}},{"type":"Public","name":"mbeddr.core","owner":"mbeddr","isFork":false,"description":"The mbeddr core. An extensible C","topicNames":["c","embedded","jetbrains-mps","mbeddr"],"topicsNotShown":0,"allTopics":["c","embedded","jetbrains-mps","mbeddr"],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":3,"issueCount":344,"starsCount":224,"forksCount":77,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T09:06:57.923Z"}},{"type":"Public","name":"build.publish.jdk","owner":"mbeddr","isFork":false,"description":"The published Jetbrains Runtime Environment for MPS","topicNames":["gradle","artifact","jetbrains-mps","jetbrains-runtime"],"topicsNotShown":0,"allTopics":["gradle","artifact","jetbrains-mps","jetbrains-runtime"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T06:16:22.556Z"}},{"type":"Public","name":"mps-platform-finder","owner":"mbeddr","isFork":false,"description":"Find the Git commit or Nexus package for a platform version","topicNames":["jetbrains-mps"],"topicsNotShown":0,"allTopics":["jetbrains-mps"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T14:54:25.522Z"}},{"type":"Public","name":"mps-platform-docs","owner":"mbeddr","isFork":false,"description":"This website collects practical knowledge about MPS and platforms such as MPS-extensions and mbeddr.","topicNames":["documentation","best-practices","gotchas","jetbrains-mps"],"topicsNotShown":0,"allTopics":["documentation","best-practices","gotchas","jetbrains-mps"],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":0,"issueCount":4,"starsCount":8,"forksCount":1,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T19:36:45.982Z"}},{"type":"Public","name":"build.publish.mps","owner":"mbeddr","isFork":false,"description":"Plain gradle repository to download and publish new MPS versions","topicNames":["gradle","artifact","jetbrains-mps"],"topicsNotShown":0,"allTopics":["gradle","artifact","jetbrains-mps"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":4,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,1,6,0,0,0,0,0,0,0,0,0,3,0,0,0,2,0,0,1,0,0,2,0,0,0,0,0,0,0,0,5,1,0,0,2,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T07:53:33.536Z"}},{"type":"Public","name":"publish-mps-prereleases","owner":"mbeddr","isFork":false,"description":"Publishing of MPS pre-releases from JetBrains TeamCity to itemis Nexus.","topicNames":["jetbrains-mps"],"topicsNotShown":0,"allTopics":["jetbrains-mps"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T13:12:29.124Z"}},{"type":"Public","name":"mbeddr.github.io","owner":"mbeddr","isFork":false,"description":"mbeddr website (github pages)","topicNames":["mbeddr"],"topicsNotShown":0,"allTopics":["mbeddr"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-03T21:51:00.264Z"}},{"type":"Public","name":".github","owner":"mbeddr","isFork":false,"description":"Landing page of the mbeddr organisation.","topicNames":["landing-page","jetbrains-mps","mbeddr"],"topicsNotShown":0,"allTopics":["landing-page","jetbrains-mps","mbeddr"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T22:06:32.781Z"}},{"type":"Public archive","name":"mbeddr.build.docker","owner":"mbeddr","isFork":false,"description":"This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects. ","topicNames":["docker","dockerfiles","docker-image","teamcity","teamcity-agent","mbeddr"],"topicsNotShown":0,"allTopics":["docker","dockerfiles","docker-image","teamcity","teamcity-agent","mbeddr"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T13:22:03.068Z"}},{"type":"Public archive","name":"language_verification","owner":"mbeddr","isFork":false,"description":"A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.","topicNames":["dsl","jetbrains-mps","language-verification","verification"],"topicsNotShown":0,"allTopics":["dsl","jetbrains-mps","language-verification","verification"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":14,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-17T11:48:58.507Z"}},{"type":"Public archive","name":"mps-libs-java8","owner":"mbeddr","isFork":false,"description":"Build Java 8-compatible runtime libraries from MPS so that generated code that depends on them can run on JVM 8","topicNames":["java-8","jetbrains-mps"],"topicsNotShown":0,"allTopics":["java-8","jetbrains-mps"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-03T14:09:03.810Z"}},{"type":"Public archive","name":"mbeddr.installer.win","owner":"mbeddr","isFork":false,"description":"Windows installer for Mbeddr","topicNames":["windows","installer","nsis","nsis-installer","jetbrains-mps","mbeddr"],"topicsNotShown":0,"allTopics":["windows","installer","nsis","nsis-installer","jetbrains-mps","mbeddr"],"primaryLanguage":{"name":"NSIS","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-19T14:47:38.285Z"}},{"type":"Public archive","name":"mbeddr.arduino","owner":"mbeddr","isFork":true,"description":"This is a DSL to write programs for the Arduino platform.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":42,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-08T09:30:11.742Z"}},{"type":"Public","name":"TypeChef","owner":"mbeddr","isFork":true,"description":"Type checking ifdef variability","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":35,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-03T20:01:30.446Z"}},{"type":"Public archive","name":"homebrew-mbeddr","owner":"mbeddr","isFork":false,"description":"homebrew formulars used for mbeddr","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-07T08:40:58.995Z"}},{"type":"Public archive","name":"mbeddr.build.docker.env","owner":"mbeddr","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-25T14:10:35.837Z"}},{"type":"Public archive","name":"mbeddr.build.esp8266.docker","owner":"mbeddr","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-05T20:54:09.751Z"}},{"type":"Public archive","name":"mbeddr.spin","owner":"mbeddr","isFork":false,"description":"Integrating the SPIN model checker into mbeddr.","topicNames":["spin","jetbrains-mps","mbeddr"],"topicsNotShown":0,"allTopics":["spin","jetbrains-mps","mbeddr"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-20T23:07:51.344Z"}},{"type":"Public archive","name":"mbeddr.robot","owner":"mbeddr","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-20T08:18:22.166Z"}}],"repositoryCount":24,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}