The current version of Storm is 0.6.19, released on 2023-09-17. Only the latest release is provided in binary form. Earlier releases have to be compiled from source. All releases are marked in the Git repository by a tag with the name release/<version>.

Release notes for each release are found here or in the annotated release tags in the Git repository.

Storm is licensed under the BSD 2-clause license from version 0.6.19 and onwards.

Binary releases

To run the compiler, simply unpack the archive file and run Storm (Storm.exe on Windows), and the top loop for Basic Storm should start. For more detailed instructions, see Introduction.

For Windows, no external libraries are required (except for dbghelp.dll, which is included with Windows). The Ui library requires Windows 7 or later.

For Linux, the C standard library for GCC 8.3.0 or later is required. For the Ui library, Gtk+ 3.10 or later is required. libpng and libjpeg are also required for proper image decoding, but they are included in the download since there are many incompatible versions of these libraries.

Alternative versions

Storm is available with two different garbage collectors. The default garbage collector (used above) is MPS, which is performant and stable. The other alternative is SMM (Storm Memory Manager) which is currently in the experimental stage.

Source releases

The source code is freely available through Git at the following URL:

git clone git://

The repository has a few submodules. To fetch them as well, execute the following commands inside the repository:

git submodule init

git submodule update

If you get an error about an unreachable submodule, don't worry. That repository only contains some test data for the language server which is not required.

To build Storm, you need mymake, available at GitHub or git:// When you have installed mymake, compiling Storm is just mm release to make a release build. During development, use mm Main or mm Test to build the development version of the main entry point and the test suite respectively. Mymake is available as a package in Debian (testing) as well, and is installed as mymake instead of mm.

To specify which garbage collector to use, either edit Gc/Config.h, or compile storm with mm mps Main or mm smm Main.

On Linux (Debian), the following packages need to be installed to successfully compile Storm, in addition to Mymake and GCC:

These are not required on Windows, as Storm relies on the corresponding functionality in the Windows API instead of separate libraries.


Storm is licensed under the 2-clause BSD license. Note, however, that some libraries used by the system come with different licenses. To check which libraries are used and which licenses apply, type licenses in the Basic Storm top loop, or call from your code. Note that this only shows loaded libraries. You might want to use the library you are interested in (e.g. by typing help ui) to make sure they are loaded before querying license information.

Also note that some programs, most notably Progvis, have different licenses. Check the About menu option for details.