FM Growth Data
==============

Information about the growth, activity, and maturity of open source formal methods.

Published by `applied.fm <https://applied.fm>`_. `Visit us on GitHub <https://github.com/appliedfm/growth-data>`_.

*Last updated*: |today|


How to use this report
----------------------

Most of the pages in this report feature charts rendered by `plotly <https://plotly.com/>`_. 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 <https://github.com/appliedfm/growth-data>`_.

* You can also `browse our full collection of plots <_static/plots/index.html>`_.


GitHub
------

.. toctree::
   :maxdepth: 2

   github_overview
   github_repos_licenses
   github_repos_count
   github_repos_size
   github_repos_stars
   github_repos_forks
   github_repos_issues
   github_repos_age


About
-----

.. toctree::
   :maxdepth: 2

   about_faq