FM Growth Data¶
Information about the growth, activity, and maturity of open source formal methods.
Last updated: Jan 26, 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
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¶
- GitHub Overview
- Repo licenses
- Repo count
- Repo size
- Repo stars
- Repo forks
- Repo issues
- Repo age