IETS3

IETS3/iets3.opensource

Open Source Parts of IETS3

4 good first / help-wanted issues · JetBrains MPS · last activity Jun 18, 2026

53 stars 28 forks 53 watchers JetBrains MPS Apache License 2.0
jetbrains-mps
View on GitHub
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 3 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 3 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 11 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 about 1 year ago
good first issue MPS 2023.2 ivysaur
IETS3/iets3.opensource
53

Open Source Parts of IETS3

JetBrains MPS
#jetbrains-mps