/growth-data

Measuring the growth of open source formal methods

Primary LanguagePythonMIT LicenseMIT

growth-data

Website Documentation Status

GitHub

Tools and data for measuring the popularity & growth of various programming languages.

The latest report can be viewed at https://growth.applied.fm.

Published by applied.fm. Hosted by readthedocs.org

Repo organization & flow

  1. Code & doc changes are made to the main branch.
  2. Data is added to the data branch.
  3. Docs are rendered in the docs branch.

This flow has the benefit of automatically tracking data lineage: for any given datum, it is easy to determine which version of the tool generated it. It also ensures that each data-fetch operation uses the latest version of the tool.

Check the network to see the current relationship between these branches.

Getting the data

Data can be found in the data directory in the data branch.

Alternatively, you can fetch new data by running

$ python3 src/github/main.py -o data all

Rendering the plots

$ python3 src/plot.py

Building the report

$ make -C docs html
$ xdg-open docs/build/html/index.html

pandas plotly Sphinx readthedocs

applied.fm