IETS3

IETS3/iets3.opensource

Open Source Parts of IETS3

53 stars 28 forks 53 watchers JetBrains MPS Apache License 2.0

jetbrains-mps

4 Open Issues Need Help Last updated: Jun 18, 2026

Open Issues Need Help

View All on GitHub

(bug)IFunctionLike: unique name check checking too much about 2 months ago

good first issue MPS 2024.1 ivysaur

IETS3/iets3.opensource

53

Open Source Parts of IETS3

JetBrains MPS

#jetbrains-mps

Make use of CI modelcheker 2 months ago

good first issue MPS 2024.1

IETS3/iets3.opensource

53

Open Source Parts of IETS3

JetBrains MPS

#jetbrains-mps

Disable intentions of ISolvable 9 months ago

good first issue MBD

IETS3/iets3.opensource

53

Open Source Parts of IETS3

JetBrains MPS

#jetbrains-mps

Add SplitStringIntoConcatenation intention for KernelF StringLiterals 11 months ago

good first issue MPS 2023.2 ivysaur

IETS3/iets3.opensource

53

Open Source Parts of IETS3

JetBrains MPS

#jetbrains-mps