JetBrains Meta programming System
Role in this project:
Back-end Developer Contributions:112 commits in 3 months
Contributions summary:Artem's commits focused on implementing the "select all" action within the MPS (Meta Programming System). They made code modifications to editor actions, specifically adding functionality to allow users to select all elements. These changes involved modifying Java code related to editor functionality and included updates to editor configuration files (mps) to include keyboard shortcuts for this new action. Additionally, tests were implemented to ensure the correct behavior of the newly added select-all functionality.
jetbrainsmetaprogrammingdomain-specific-languagedsl
Notes for type theory course
Contributions:1 release, 95 commits, 9 PRs in 2 years 11 months
type-theorylatex