GitPlanet
Projects
Users
Categories
Languages
About
Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting
Created with love in Canada, visit
hostnodejs.com
today
Feel like to post an Ad?
Learn Details
All Programming Languages
→ JetBrains MPS
Top 11 JetBrains MPS open source projects
1.
mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
✭ 16
JetBrains MPS
Roff
Promela
HTML
Batchfile
c
prism
architecture
z3
spin
gsn
nusmv
stpa
contract-based-design
requirements-specification
safety-assurance
interface-specification
2.
soplex
Sequential object-oriented simPlex
✭ 16
C++
JetBrains MPS
shell
CMake
c
python
3.
votca
The source of the votca-csg and xtp packages
✭ 28
C++
JetBrains MPS
Objective-C++
shell
CMake
python
molecular-dynamics
coarse-grained-molecular-dynamics
gromacs
multiscale-simulation
coarse-graining
votca
gw-bse
excited-states
charge-transport
4.
tangentlabs
lots of mini experiments in various languages
✭ 35
Isabelle
basic
python
J
pascal
JetBrains MPS
5.
voicemenu
A voice menu language and simulator using JetBrains MPS
✭ 27
JetBrains MPS
java
C++
6.
ecole
Extensible Combinatorial Optimization Learning Environments
✭ 249
C++
JetBrains MPS
python
CMake
shell
ml
gym
markov-decision-processes
scip
combinatorial-optimization
7.
chemclipse
ChemClipse Project
✭ 22
java
shell
HTML
JetBrains MPS
MAXScript
CSS
8.
moware35
MoWare 2019.X - mrs branch
✭ 30
JetBrains MPS
9.
simpy
a python package for simulation
✭ 19
python
perl
JetBrains MPS
HTML
GLSL
Roff
10.
dclareForMPS
Adding declarative, reactive and incremental rules to MPS
✭ 21
JetBrains MPS
java
kotlin
rules
reactive
declarative
mps
rule-based
jetbrains-mps
11.
StructuralIdentifiability.jl
Fast and automatic structural identifiability software for ODE systems
✭ 57
julia
JetBrains MPS
matlab
objective c
Mathematica
parameter-estimation
differentialequations
structural-identifiability
1-11
of
11
JetBrains MPS projects