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.

GitHub

• GitHub Overview
  • Repo counts by language & activity
  • Users by language & account age
• Repo licenses
  • By repo count
  • By repo size
  • By stars
  • By forks
  • By issues
• Repo count
  • Latest
  • Total
  • With license
  • With issues
  • With downloads
  • With wiki
  • With projects
  • With pages
• Repo size
  • Latest
  • Total
  • Max
  • Median
  • Q25-Q75
  • Q10-Q90
  • Mean
• Repo stars
  • Latest
  • Total
  • Max
  • Median
  • Q25-Q75
  • Q10-Q90
  • Mean
• Repo forks
  • Latest
  • Total
  • Max
  • Median
  • Q25-Q75
  • Q10-Q90
  • Mean
• Repo issues
  • Latest
  • Total
  • Max
  • Median
  • Q25-Q75
  • Q10-Q90
  • Mean
• Repo age
  • Max
  • Median
  • Q25-Q75
  • Q10-Q90
  • Mean

About

• FAQ
  • Privacy & data retention