{"id":43921,"name":"programming_formalisms","description":"Repository for the Programming Formalisms course","url":"https://github.com/uppmax/programming_formalisms","last_synced_at":"2025-09-05T10:03:14.469Z","repository":{"id":61664163,"uuid":"549484381","full_name":"UPPMAX/programming_formalisms","owner":"UPPMAX","description":"Repository for the Programming Formalisms course","archived":false,"fork":false,"pushed_at":"2025-08-21T09:42:18.000Z","size":120346,"stargazers_count":1,"open_issues_count":23,"forks_count":9,"subscribers_count":6,"default_branch":"main","last_synced_at":"2025-08-21T10:38:37.496Z","etag":null,"topics":["course","english","formalism","formalisms","nbis","programming","programming-formalisms","sweden","uppmax"],"latest_commit_sha":null,"homepage":"https://uppmax.github.io/programming_formalisms/","language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/UPPMAX.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-10-11T08:55:12.000Z","updated_at":"2025-08-21T09:39:51.000Z","dependencies_parsed_at":"2025-06-18T12:04:25.821Z","dependency_job_id":null,"html_url":"https://github.com/UPPMAX/programming_formalisms","commit_stats":null,"previous_names":["uppmax/programming_formalism"],"tags_count":12,"template":false,"template_full_name":null,"purl":"pkg:github/UPPMAX/programming_formalisms","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/UPPMAX","download_url":"https://codeload.github.com/UPPMAX/programming_formalisms/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273740850,"owners_count":25159434,"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","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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"}},"owner":{"login":"UPPMAX","name":"UPPMAX","uuid":"1188612","kind":"organization","description":"Uppsala Multidisciplinary Center for Advanced Computational Science","email":null,"website":"https://www.uppmax.uu.se/","location":"Uppsala, Sweden","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/1188612?v=4","repositories_count":45,"last_synced_at":"2024-03-26T04:22:59.910Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/UPPMAX","funding_links":[],"total_stars":55,"followers":15,"following":0,"created_at":"2022-11-03T05:00:33.862Z","updated_at":"2024-03-26T04:23:04.076Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/UPPMAX","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/UPPMAX/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"UPPMAX/programming_formalisms","html_url":"https://github.com/UPPMAX/programming_formalisms","last_synced_at":"2025-08-31T11:19:08.176Z","status":null,"issues_count":53,"pull_requests_count":5,"avg_time_to_close_issue":8008470.951219512,"avg_time_to_close_pull_request":16.0,"issues_closed_count":41,"pull_requests_closed_count":1,"pull_request_authors_count":2,"issue_authors_count":5,"avg_comments_per_issue":2.30188679245283,"avg_comments_per_pull_request":2.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":52,"past_year_pull_requests_count":5,"past_year_avg_time_to_close_issue":7635563.925,"past_year_avg_time_to_close_pull_request":16.0,"past_year_issues_closed_count":40,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":5,"past_year_avg_comments_per_issue":2.25,"past_year_avg_comments_per_pull_request":2.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"created_at":"2025-08-29T17:41:05.535Z","updated_at":"2025-09-03T04:09:30.622Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPMAX%2Fprogramming_formalisms/issues","issue_labels_count":{"discuss_in_meeting":8,"next_time":1},"pull_request_labels_count":{},"issue_author_associations_count":{"MEMBER":100,"CONTRIBUTOR":38,"NONE":1},"pull_request_author_associations_count":{"MEMBER":8,"CONTRIBUTOR":3},"issue_authors":{"richelbilderbeek":100,"bclaremar":32,"LarsEklund":5,"LinusSch":1,"JonssonGustav97":1},"pull_request_authors":{"richelbilderbeek":8,"bclaremar":3},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10097364,"issues_count":31428117,"pull_requests_count":97242359,"authors_count":10701128,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"discuss_in_meeting":5,"next_time":1},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"MEMBER":74,"CONTRIBUTOR":34,"NONE":1},"past_year_pull_request_author_associations_count":{"MEMBER":5,"CONTRIBUTOR":3},"past_year_issue_authors":{"richelbilderbeek":74,"bclaremar":29,"LarsEklund":4,"JonssonGustav97":1,"LinusSch":1},"past_year_pull_request_authors":{"richelbilderbeek":5,"bclaremar":3},"maintainers":[{"login":"richelbilderbeek","count":108,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/richelbilderbeek"}],"active_maintainers":[{"login":"richelbilderbeek","count":79,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/richelbilderbeek"}]},"events":null,"keywords":["course","english","formalism","formalisms","nbis","programming","programming-formalisms","sweden","uppmax"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/check_links.yaml","sha":null,"kind":"manifest","created_at":"2023-09-29T09:57:09.363Z","updated_at":"2023-09-29T09:57:09.363Z","repository_link":"https://github.com/UPPMAX/programming_formalisms/blob/main/.github/workflows/check_links.yaml","dependencies":[{"id":14016530251,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14016530252,"package_name":"lycheeverse/lychee-action","ecosystem":"actions","requirements":"v1.2.0","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/check_spelling.yaml","sha":null,"kind":"manifest","created_at":"2023-09-29T09:57:09.401Z","updated_at":"2023-09-29T09:57:09.401Z","repository_link":"https://github.com/UPPMAX/programming_formalisms/blob/main/.github/workflows/check_spelling.yaml","dependencies":[{"id":14016530263,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14016530264,"package_name":"igsekor/pyspelling-any","ecosystem":"actions","requirements":"v0.0.2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/check_markdown.yaml","sha":null,"kind":"manifest","created_at":"2025-04-11T23:24:17.646Z","updated_at":"2025-04-11T23:24:17.646Z","repository_link":"https://github.com/UPPMAX/programming_formalisms/blob/main/.github/workflows/check_markdown.yaml","dependencies":[{"id":22648126053,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22648126054,"package_name":"articulate/actions-markdownlint","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/check_schedule.yaml","sha":null,"kind":"manifest","created_at":"2025-04-11T23:24:18.498Z","updated_at":"2025-04-11T23:24:18.498Z","repository_link":"https://github.com/UPPMAX/programming_formalisms/blob/main/.github/workflows/check_schedule.yaml","dependencies":[{"id":22648126057,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22648126058,"package_name":"r-lib/actions/setup-r","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/create_website.yaml","sha":null,"kind":"manifest","created_at":"2025-04-11T23:24:18.569Z","updated_at":"2025-04-11T23:24:18.569Z","repository_link":"https://github.com/UPPMAX/programming_formalisms/blob/main/.github/workflows/create_website.yaml","dependencies":[{"id":22648126059,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":22648126060,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:19.096Z","updated_at":"2025-10-07T08:17:45.401Z","avatar_url":"https://github.com/UPPMAX.png","language":"Shell","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://doi.org/10.5281/zenodo.14591462"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/43921","html_url":"https://science.ecosyste.ms/projects/43921"}