It's probably not obvious to people outside the community, but the amount of effort that's currently going into MTK and the larger SciML stack is absolutely enormous. Depending on how you count, maybe an order of magnitude more than is currently going into Julia proper. By my count at least 30 talks at JuliaCon this year were about SciML applications. That whole ecosystem is really taking off.
How is the symbolic transformation approach different between Modia and ModelingToolkit for ODEs ? I would guess Modia probably uses the same method as Dymola but not sure if MTK has any specific advantages here.<p>As of now, Modias DSL feels more familiar and less boilerplate-y to me (as a modelica dev) but I guess that's probably because they just focus on similar capability to Modelica unlike MTK which has a lot of expandability.<p>With that being said, having a decent component library (like MSL) and a GUI (or preferably some auto diagram) to compose and browse through them would be the minimum needed to be able to beat Modelica in the acausal modeling space.