FM Growth Data¶
Information about the growth, activity, and maturity of open source formal methods.
Published by applied.fm. Visit us on GitHub.
Last updated: Mar 23, 2023
How to use this report¶
Most of the pages in this report feature charts rendered by plotly. Some of these charts contain a lot of information. Fortunately, they are interactive. You may find the following tips useful:
You can double-click on any item in the legend to focus on it.
You can single-click on any item in the legend to toggle its presence.
You can zoom, pan, and download as
.png
.To view a chart in “full screen” mode, right-click on it and choose “open in new tab” (or similar, depending on your browser).
We recommend viewing on a wide-screen display if possible.
Getting the data¶
Our data is available in our GitHub repository.
You can also browse our full collection of plots.