{"id":14966247,"url":"https://github.com/appliedfm/growth-data","last_synced_at":"2025-10-25T16:30:47.588Z","repository":{"id":38319889,"uuid":"440411827","full_name":"appliedfm/growth-data","owner":"appliedfm","description":"Measuring the growth of open source formal methods","archived":false,"fork":false,"pushed_at":"2025-02-06T06:47:35.000Z","size":38350,"stargazers_count":4,"open_issues_count":3,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-06T07:31:40.584Z","etag":null,"topics":["ada","agda","appliedfm","coq","idris","isabelle","lean","tla"],"latest_commit_sha":null,"homepage":"https://growth.applied.fm","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/appliedfm.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-12-21T06:19:44.000Z","updated_at":"2024-03-13T11:01:05.000Z","dependencies_parsed_at":"2023-02-17T15:46:18.682Z","dependency_job_id":"c9c9e3eb-302b-4514-b815-3ab138f838da","html_url":"https://github.com/appliedfm/growth-data","commit_stats":{"total_commits":144,"total_committers":1,"mean_commits":144.0,"dds":0.0,"last_synced_commit":"2abba71ca088cb3d40c350877831cfe0b7c99e33"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/appliedfm%2Fgrowth-data","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/appliedfm%2Fgrowth-data/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/appliedfm%2Fgrowth-data/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/appliedfm%2Fgrowth-data/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/appliedfm","download_url":"https://codeload.github.com/appliedfm/growth-data/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":238174112,"owners_count":19428627,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ada","agda","appliedfm","coq","idris","isabelle","lean","tla"],"created_at":"2024-09-24T13:36:04.553Z","updated_at":"2025-10-25T16:30:40.192Z","avatar_url":"https://github.com/appliedfm.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# growth-data\n\n![Website](https://img.shields.io/website?url=https%3A%2F%2Fgrowth.applied.fm)\n![Documentation Status](https://readthedocs.org/projects/fm-growth/badge/?version=latest)\n\n![GitHub](https://img.shields.io/github/license/appliedfm/growth-data)\n\nTools and data for measuring the popularity \u0026 growth of various programming languages.\n\nThe latest report can be viewed at [https://growth.applied.fm](https://growth.applied.fm).\n\nPublished by [applied.fm](https://applied.fm). Hosted by [readthedocs.org](https://readthedocs.org/projects/fm-growth/)\n\n## Repo organization \u0026 flow\n\n1. Code \u0026 doc changes are made to the [`main` branch](https://github.com/appliedfm/growth-data).\n2. Data is added to the [`data` branch](https://github.com/appliedfm/growth-data/tree/data).\n3. Docs are rendered in the [`docs` branch](https://github.com/appliedfm/growth-data/tree/docs).\n\nThis 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.\n\n[Check the network](https://github.com/appliedfm/growth-data/network) to see the current relationship between these branches.\n\n## Getting the data\n\nData can be found in the [`data` directory in the `data` branch](https://github.com/appliedfm/growth-data/tree/data/data).\n\nAlternatively, you can fetch new data by running\n\n```console\n$ python3 src/github/main.py -o data all\n```\n\n\n## Rendering the plots\n\n```console\n$ python3 src/plot.py\n```\n\n\n## Building the report\n\n```console\n$ make -C docs html\n$ xdg-open docs/build/html/index.html\n```\n\n#\n\n[![pandas](https://img.shields.io/badge/-pandas-firebrick)](https://pandas.pydata.org)\n[![plotly](https://img.shields.io/badge/-plotly-mediumblue)](https://plotly.com)\n[![Sphinx](https://img.shields.io/badge/-Sphinx-navy)](https://www.sphinx-doc.org)\n[![readthedocs](https://img.shields.io/badge/-readthedocs-slateblue)](https://readthedocs.org)\n\n[![applied.fm](https://img.shields.io/badge/-applied.fm-orchid)](https://applied.fm)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fappliedfm%2Fgrowth-data","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fappliedfm%2Fgrowth-data","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fappliedfm%2Fgrowth-data/lists"}