GitHub Trending JetBrains MPS

JetBrains Meta programming System

The mbeddr core. An extensible C

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

A family of DSLs supporting model-driven system documentation.

Agile Law Execution Factory

Open Source Parts of IETS3

MPS-extensions aims to ease language development within MPS.

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

An IDE to navigate the JavaScript specification.

Adding declarative, reactive and incremental rules to MPS

Quality assurance tooling for JetBrains MPS

itemis SECURE Examples

C++ extension to mbeddr in MPS

A voice menu language and simulator using JetBrains MPS

A collection of MPS languages and utils.

IDE for IEC 61499 built on top of JetBrains MPS

No repository description provided.

Type checking and logical inference for JetBrains MPS

No repository description provided.

Grammar-based MPS-language specification and generation

No repository description provided.

No repository description provided.

No repository description provided.

A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.

MoWare 2019.X - mrs branch

ArchE: Set of domain specific languages to support modeling automotive electronics and software architecture.

This is BlueMatter, the molecular dynamics application which was used to exercise the BlueGene/L and BlueGene/P range of supercomputers. This code is written to the hardware interfaces on BlueGene/L and BlueGene/P, rather than to MPI; so it would require some rework to be usable on current supercomputers. Code not written by IBMers has been removed; you are recommended to visit http://fftw.org/ and http://numerical.recipes/ to find the missing code.

Exact Inference Engine for Probabilistic Programs

This repository implements a linear programming solver in julia.

No repository description provided.