SoftwareI have designed or contributed to the following freely available software packages:
- Modelyze. Please see the main website www.modelyze.org. Modelyze (MODEl and anaLYZE) is a host language designed for modeling and analysis of cyber-physical systems (CPS). Modelyze is not a modeling language itself, but a host language where domain-specific languages (DSLs) can be embedded. It has been tested and evaluated on equation-based object-oriented DSLs, used for modeling of physical systems. The source code, which is distributed under GPL license,
be downloaded here. The repository can also be cloned from GitHub. The latest information about Modelyze is available in a
report. Modelyze is based on a language called MKL, which was
my Ph.D. thesis.
- OpenModelica. An open-source Modelica-based modeling and
simulation environment. Contributed with some parts of the compiler,
such as a prototype implementation for physical unit checking. See
the OpenModelica homepage.
- Ustring. A unicode string library for adding simple and
powerful Unicode support to the OCaml language. The source code, which
is distributed under the new BSD license, can
documentation is available online.
- Velvet Studio. An advanced graphical music editor/tracker
developed for the MS-DOS platform during years 1994-1998. The
self-extracting executable for the DOS platform
available for download. To run the program on e.g., Windows or Mac
OS, use the DOS
emulator DOSBox. The Velvet
Studio user manual
as a pdf-file.