Equelle is a domain-specific language for the specification of simulators for systems of PDEs through a high-level syntax. The language allows the user to focus on equations and numerics while hiding the low-level details of software and hardware implementations.
To learn about the language, you could start with the latest presentation, or read the reference manual, currently available in a draft version.
An example of Equelle source code is available, that implements a finite volume simulator for the heat equation using implicit Euler timestepping. More examples are available on GitHub.
If you are interested, please contact us!