{"id":3453,"name":"rzk","description":"An experimental proof assistant based on a type theory for synthetic ∞-categories.","url":"https://github.com/rzk-lang/rzk","last_synced_at":"2025-09-04T17:02:21.698Z","repository":{"id":46221760,"uuid":"316195970","full_name":"rzk-lang/rzk","owner":"rzk-lang","description":"An experimental proof assistant based on a type theory for synthetic ∞-categories.","archived":false,"fork":false,"pushed_at":"2025-08-14T12:46:59.000Z","size":59365,"stargazers_count":245,"open_issues_count":58,"forks_count":11,"subscribers_count":12,"default_branch":"develop","last_synced_at":"2025-08-14T13:22:04.115Z","etag":null,"topics":["category-theory","haskell","homotopy-type-theory","proof-assistant"],"latest_commit_sha":null,"homepage":"https://rzk-lang.github.io/rzk/","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rzk-lang.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"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":"2020-11-26T10:28:20.000Z","updated_at":"2025-08-14T11:35:43.000Z","dependencies_parsed_at":"2023-09-23T18:39:42.418Z","dependency_job_id":"cbb99218-bb99-4218-997a-9db19fe2e61b","html_url":"https://github.com/rzk-lang/rzk","commit_stats":null,"previous_names":["rzk-lang/rzk","fizruk/rzk"],"tags_count":29,"template":false,"template_full_name":null,"purl":"pkg:github/rzk-lang/rzk","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273641883,"owners_count":25142248,"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-04T02:00:08.968Z","response_time":61,"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":"rzk-lang","name":"rzk proof assistant and satellite tools","uuid":"139073969","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/139073969?v=4","repositories_count":1,"last_synced_at":"2023-07-09T19:41:23.566Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/rzk-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-07-09T19:41:23.568Z","updated_at":"2023-07-09T19:41:23.568Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang/repositories"},"packages":[{"id":7603960,"name":"rzk","ecosystem":"hackage","description":"Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme","homepage":"https://github.com/rzk-lang/rzk#readme","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/rzk-lang/rzk","keywords_array":["bsd3","dependent-types","library","program","Propose Tags"],"namespace":null,"versions_count":29,"first_release_published_at":"2023-04-19T18:05:48.000Z","latest_release_published_at":"2025-08-14T16:17:00.000Z","latest_release_number":"0.7.6","last_synced_at":"2025-08-16T14:05:34.842Z","created_at":"2023-04-19T18:24:58.111Z","updated_at":"2025-08-16T15:16:59.241Z","registry_url":"https://hackage.haskell.org/package/rzk","install_command":"cabal install rzk","documentation_url":null,"metadata":{},"repo_metadata":{"id":46221760,"uuid":"316195970","full_name":"rzk-lang/rzk","owner":"rzk-lang","description":"An experimental proof assistant based on a type theory for synthetic ∞-categories.","archived":false,"fork":false,"pushed_at":"2025-08-14T12:46:59.000Z","size":59365,"stargazers_count":245,"open_issues_count":58,"forks_count":11,"subscribers_count":12,"default_branch":"develop","last_synced_at":"2025-08-14T13:22:04.115Z","etag":null,"topics":["category-theory","haskell","homotopy-type-theory","proof-assistant"],"latest_commit_sha":null,"homepage":"https://rzk-lang.github.io/rzk/","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rzk-lang.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"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":"2020-11-26T10:28:20.000Z","updated_at":"2025-08-14T11:35:43.000Z","dependencies_parsed_at":"2023-09-23T18:39:42.418Z","dependency_job_id":"cbb99218-bb99-4218-997a-9db19fe2e61b","html_url":"https://github.com/rzk-lang/rzk","commit_stats":null,"previous_names":["rzk-lang/rzk","fizruk/rzk"],"tags_count":29,"template":false,"template_full_name":null,"purl":"pkg:github/rzk-lang/rzk","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":270475417,"owners_count":24590076,"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-08-14T02:00:10.309Z","response_time":75,"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_record":{"login":"rzk-lang","name":"rzk proof assistant and satellite tools","uuid":"139073969","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/139073969?v=4","repositories_count":1,"last_synced_at":"2023-07-09T19:41:23.566Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/rzk-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-07-09T19:41:23.568Z","updated_at":"2023-07-09T19:41:23.568Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang/repositories"},"tags":[{"name":"v0.7.6","sha":"a04eeabf930831034ace076805eff9392a544252","kind":"commit","published_at":"2025-08-14T11:34:54.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.6","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.6/manifests"},{"name":"v0.7.5","sha":"25dd17aa159d3e19cbfbf14ce44ad170e4699252","kind":"commit","published_at":"2024-08-18T06:34:59.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.5","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.5/manifests"},{"name":"v0.7.4","sha":"0ac67366b64751cedea8198a023b14db9905cce8","kind":"commit","published_at":"2024-04-01T18:25:44.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.4","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.4/manifests"},{"name":"v0.7.3","sha":"8e0af0c33bc884bd26806afe849434759c73bd67","kind":"commit","published_at":"2023-12-16T11:05:46.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.3","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.3/manifests"},{"name":"v0.7.2","sha":"4adb7526a3f89ed31351aa130ba8f4280d982d0e","kind":"commit","published_at":"2023-12-12T10:36:38.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.2","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.2/manifests"},{"name":"v0.7.1","sha":"eabfe3cbecb26b45b418acf6f5e440bcf12430c1","kind":"commit","published_at":"2023-12-08T14:07:09.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.1","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.1/manifests"},{"name":"v0.7.0","sha":"372328baeaad9d0abfd6224e2a6d9a709b3a6e9e","kind":"commit","published_at":"2023-12-08T12:50:05.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.7.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.7.0/manifests"},{"name":"v0.6.7","sha":"f05581c27177534d31c9e10de4a4eaef55684321","kind":"commit","published_at":"2023-10-07T20:06:35.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.7","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.7/manifests"},{"name":"v0.6.6","sha":"9acf9bdd46d17e2c38479903b7adbb1baadc3c7f","kind":"commit","published_at":"2023-10-01T23:45:26.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.6","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.6/manifests"},{"name":"v0.6.5","sha":"793417eb1b3f90be1a7e6cb7749178130212acd1","kind":"commit","published_at":"2023-10-01T19:20:29.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.5","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.5/manifests"},{"name":"v0.6.4","sha":"d5611bc6134504659c83906ba8965004db176776","kind":"commit","published_at":"2023-09-27T16:26:33.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.4","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.4/manifests"},{"name":"v0.6.3","sha":"69695086ebff2d921cb6677c5fbcef73c9db51ad","kind":"commit","published_at":"2023-09-27T07:20:42.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.3","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.3/manifests"},{"name":"v0.6.2","sha":"9120caaaab2df0066c4ad18d28c8079804c74db8","kind":"commit","published_at":"2023-09-26T08:09:43.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.2","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.2/manifests"},{"name":"v0.6.1","sha":"a3e15874a74197edae6f647f9db60b51d458039c","kind":"commit","published_at":"2023-09-23T22:57:03.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.1","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.1/manifests"},{"name":"v0.6.0","sha":"af5f66af9bcf4df70642744be8eae5f72f550046","kind":"commit","published_at":"2023-09-23T18:01:33.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.6.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.6.0/manifests"},{"name":"v0.5.7","sha":"67f7d5ade50e90abeccaee5ac100512d85e1da73","kind":"commit","published_at":"2023-09-21T13:50:28.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.7","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.7/manifests"},{"name":"v0.5.6","sha":"a6b407d002369c64647f0842ce917b4815f76b50","kind":"commit","published_at":"2023-09-19T15:28:56.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.6","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.6/manifests"},{"name":"v0.5.5","sha":"640f079c2df3fa71cba0402eda54f8c601c235cb","kind":"commit","published_at":"2023-09-19T14:12:10.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.5","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.5/manifests"},{"name":"v0.5.4","sha":"5fbbbe71d65d724a1ffd4af5a8ce786fdb7f357f","kind":"commit","published_at":"2023-08-18T22:14:56.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.4","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.4/manifests"},{"name":"v0.5.3","sha":"e8f70a81ef14ab309f32a836a92718a75f1a77b8","kind":"commit","published_at":"2023-07-12T05:25:44.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.3","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.3/manifests"},{"name":"v0.5.2","sha":"3d72b359eab7215cf3d01e9e0169234e4a456f48","kind":"commit","published_at":"2023-07-05T19:44:39.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.2","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.2/manifests"},{"name":"v0.5.1","sha":"aede460961e8ff7509cd2edd25b14534d768e6a5","kind":"commit","published_at":"2023-06-29T11:35:57.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5.1","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5.1/manifests"},{"name":"v0.5","sha":"fb6eda18129a66cba773adccddbe67b0edcca9db","kind":"commit","published_at":"2023-06-20T10:34:10.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.5","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.5/manifests"},{"name":"v0.4.1.1","sha":"a25b8ec1a0fc075fa1f06c503f4f2b2e404dd06e","kind":"commit","published_at":"2023-06-15T23:10:00.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.4.1.1","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.4.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.4.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.1.1/manifests"},{"name":"v0.4.1","sha":"ed26606833bf4e730e01ba3dddb389e4670eab27","kind":"commit","published_at":"2023-06-15T21:41:15.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.4.1","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.1/manifests"},{"name":"v0.4.0","sha":"f5dbfe337eb82bf3bb1575f9e10d5d755203458a","kind":"commit","published_at":"2023-05-18T10:00:52.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.4.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.4.0/manifests"},{"name":"v0.3.0","sha":"e31c70a5f45f49e8beccd19087b8707d5022ac9f","kind":"commit","published_at":"2023-04-28T17:24:56.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.3.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.3.0/manifests"},{"name":"v0.2.0","sha":"b5628de46a2ac9c3138bdfa5d8284a7470e42231","kind":"commit","published_at":"2023-04-19T22:05:57.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.2.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.2.0/manifests"},{"name":"v0.1.0","sha":"bc6cd51be668fa1ee281931b77d6e2d845606db3","kind":"commit","published_at":"2023-03-23T22:57:11.000Z","download_url":"https://codeload.github.com/rzk-lang/rzk/tar.gz/v0.1.0","html_url":"https://github.com/rzk-lang/rzk/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rzk-lang/rzk@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-08-16T15:16:59.241Z","dependent_packages_count":2,"downloads":1332,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":91.95284469502819,"dependent_repos_count":36.744689333105526,"dependent_packages_count":7.159129741428409,"stargazers_count":8.22939802950054,"forks_count":17.74120059232259,"docker_downloads_count":null,"average":32.36545247827705},"purl":"pkg:hackage/rzk","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/rzk","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/rzk","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/rzk/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-15T03:19:59.367Z","issues_count":55,"pull_requests_count":102,"avg_time_to_close_issue":2571982.8,"avg_time_to_close_pull_request":422729.4680851064,"issues_closed_count":15,"pull_requests_closed_count":94,"pull_request_authors_count":9,"issue_authors_count":12,"avg_comments_per_issue":0.7090909090909091,"avg_comments_per_pull_request":0.5,"merged_pull_requests_count":88,"bot_issues_count":0,"bot_pull_requests_count":2,"past_year_issues_count":4,"past_year_pull_requests_count":8,"past_year_avg_time_to_close_issue":283856.6666666667,"past_year_avg_time_to_close_pull_request":37501.8,"past_year_issues_closed_count":3,"past_year_pull_requests_closed_count":5,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":3,"past_year_avg_comments_per_issue":1.5,"past_year_avg_comments_per_pull_request":0.5,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":2,"past_year_merged_pull_requests_count":5,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/issues","maintainers":[{"login":"fizruk","count":92,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/fizruk"},{"login":"aabounegm","count":25,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/aabounegm"},{"login":"geffk2","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/geffk2"}],"active_maintainers":[{"login":"fizruk","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/fizruk"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/rzk/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/rzk/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/rzk/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/rzk/related_packages","maintainers":[{"uuid":"NickolayKudasov","login":"NickolayKudasov","name":null,"email":null,"url":null,"packages_count":17,"html_url":"https://hackage.haskell.org/user/NickolayKudasov","role":null,"created_at":"2023-04-20T03:52:26.651Z","updated_at":"2023-04-20T03:52:26.651Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/NickolayKudasov/packages"}],"registry":{"name":"hackage.haskell.org","url":"https://hackage.haskell.org","ecosystem":"hackage","default":true,"packages_count":18400,"maintainers_count":3814,"namespaces_count":0,"keywords_count":3568,"github":"haskell-infra","metadata":{"funded_packages_count":1463},"icon_url":"https://github.com/haskell-infra.png","created_at":"2022-04-05T17:03:41.927Z","updated_at":"2025-09-04T07:03:00.669Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/namespaces"}}],"commits":{"id":7412448,"full_name":"rzk-lang/rzk","default_branch":"develop","committers":[{"name":"Nikolai Kudasov","email":"nickolay.kudasov@gmail.com","login":"fizruk","count":545},{"name":"Abdelrahman Abounegm","email":"abounegm.abdelrahman@gmail.com","login":"aabounegm","count":82},{"name":"Danila Danko","email":"br4ch1st0chr0n3@gmail.com","login":"deemp","count":47},{"name":"geffk2","email":"sluxx@icloud.com","login":"geffk2","count":7},{"name":"Alice Logos","email":"alicelogos@outlook.com","login":"alicelogos","count":2},{"name":"Naïm Favier","email":"n@monade.li","login":"ncfavier","count":1},{"name":"Lîm Tsú-thuàn","email":"dannypsnl@protonmail.com","login":"dannypsnl","count":1}],"total_commits":685,"total_committers":7,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":97.85714285714286,"dds":0.2043795620437956,"past_year_committers":[{"name":"Nikolai Kudasov","email":"nickolay.kudasov@gmail.com","login":"fizruk","count":2},{"name":"Alice Logos","email":"alicelogos@outlook.com","login":"alicelogos","count":2},{"name":"Lîm Tsú-thuàn","email":"dannypsnl@protonmail.com","login":"dannypsnl","count":1}],"past_year_total_commits":5,"past_year_total_committers":3,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":1.6666666666666667,"past_year_dds":0.6,"last_synced_at":"2025-07-13T17:11:15.599Z","last_synced_commit":"3ea72b85e099e785e116a0877d37bca56cc77b7c","created_at":"2024-12-07T21:07:26.399Z","updated_at":"2025-07-13T17:11:15.641Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"rzk-lang/rzk","html_url":"https://github.com/rzk-lang/rzk","last_synced_at":"2025-08-31T11:01:18.818Z","status":null,"issues_count":56,"pull_requests_count":108,"avg_time_to_close_issue":2571982.8,"avg_time_to_close_pull_request":418280.94736842107,"issues_closed_count":15,"pull_requests_closed_count":95,"pull_request_authors_count":9,"issue_authors_count":12,"avg_comments_per_issue":0.6964285714285714,"avg_comments_per_pull_request":0.4722222222222222,"merged_pull_requests_count":88,"bot_issues_count":0,"bot_pull_requests_count":4,"past_year_issues_count":5,"past_year_pull_requests_count":12,"past_year_avg_time_to_close_issue":283856.6666666667,"past_year_avg_time_to_close_pull_request":39715.0,"past_year_issues_closed_count":3,"past_year_pull_requests_closed_count":4,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":4,"past_year_avg_comments_per_issue":1.2,"past_year_avg_comments_per_pull_request":0.3333333333333333,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":4,"past_year_merged_pull_requests_count":3,"created_at":"2023-08-09T07:57:28.749Z","updated_at":"2025-09-02T23:28:53.561Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk/issues","issue_labels_count":{"enhancement":4,"good first issue":2,"formatter":2,"documentation":1,"bug":1},"pull_request_labels_count":{"dependencies":4,"formatter":1},"issue_author_associations_count":{"MEMBER":33,"NONE":15,"CONTRIBUTOR":5},"pull_request_author_associations_count":{"MEMBER":86,"CONTRIBUTOR":14,"NONE":9,"COLLABORATOR":4},"issue_authors":{"fizruk":29,"aabounegm":4,"emilyriehl":3,"jonweinb":3,"deemp":3,"kyoDralliam":2,"fredrik-bakke":2,"alicelogos":2,"juhp":2,"Seasawher":1,"EgbertRijke":1,"TashiWalde":1},"pull_request_authors":{"fizruk":64,"aabounegm":22,"deemp":9,"alicelogos":4,"geffk2":4,"dependabot[bot]":4,"swamp-agr":2,"ncfavier":2,"dannypsnl":2},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10074573,"issues_count":31266531,"pull_requests_count":95697262,"authors_count":10690890,"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":{},"past_year_pull_request_labels_count":{"dependencies":4},"past_year_issue_author_associations_count":{"CONTRIBUTOR":3,"NONE":2},"past_year_pull_request_author_associations_count":{"NONE":6,"CONTRIBUTOR":6,"MEMBER":3},"past_year_issue_authors":{"alicelogos":2,"deemp":1,"jonweinb":1,"juhp":1},"past_year_pull_request_authors":{"dependabot[bot]":4,"alicelogos":4,"fizruk":3,"deemp":2,"dannypsnl":2},"maintainers":[{"login":"fizruk","count":93,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/fizruk"},{"login":"aabounegm","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/aabounegm"},{"login":"geffk2","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/geffk2"}],"active_maintainers":[{"login":"fizruk","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/fizruk"}]},"events":{"total":{"CreateEvent":5,"ReleaseEvent":1,"IssuesEvent":8,"WatchEvent":39,"IssueCommentEvent":11,"PushEvent":12,"PullRequestReviewEvent":5,"PullRequestEvent":10,"ForkEvent":2},"last_year":{"CreateEvent":5,"ReleaseEvent":1,"IssuesEvent":8,"WatchEvent":39,"IssueCommentEvent":11,"PushEvent":12,"PullRequestReviewEvent":5,"PullRequestEvent":10,"ForkEvent":2}},"keywords":["category-theory","haskell","homotopy-type-theory","proof-assistant"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/binaries.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:38.180Z","updated_at":"2023-08-08T23:38:38.180Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/binaries.yml","dependencies":[{"id":12418183522,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418183525,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418183528,"package_name":"actions/upload-release-asset","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-test.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:38.355Z","updated_at":"2023-08-08T23:38:38.355Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/build-test.yml","dependencies":[{"id":12418184343,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418184344,"package_name":"haskell/actions/setup","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12418185084,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ghcjs.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:38.766Z","updated_at":"2023-08-08T23:38:38.766Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/ghcjs.yml","dependencies":[{"id":12418186478,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418186479,"package_name":"nixbuild/nix-quick-install-action","ecosystem":"actions","requirements":"v25","direct":true,"kind":"composite","optional":false},{"id":12418187428,"package_name":"nix-community/cache-nix-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12418187430,"package_name":"JamesIves/github-pages-deploy-action","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/hackage.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:39.240Z","updated_at":"2023-08-08T23:38:39.240Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/hackage.yml","dependencies":[{"id":12418188751,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418188752,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418188753,"package_name":"haskell-actions/hackage-publish","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/haddock.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:40.319Z","updated_at":"2023-08-08T23:38:40.319Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/haddock.yml","dependencies":[{"id":12418191628,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418191629,"package_name":"haskell/actions/setup","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":12418191630,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":12418191631,"package_name":"JamesIves/github-pages-deploy-action","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/mkdocs.yml","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:40.599Z","updated_at":"2023-08-08T23:38:40.599Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/.github/workflows/mkdocs.yml","dependencies":[{"id":12418192702,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":12418192706,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":12418192709,"package_name":"jaxxstorm/action-install-gh-release","ecosystem":"actions","requirements":"v1.10.0","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"rzk/rzk.cabal","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:41.273Z","updated_at":"2023-08-08T23:38:41.273Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/rzk/rzk.cabal","dependencies":[]},{"ecosystem":"hackage","filepath":"try-rzk/cabal.config","sha":null,"kind":"lockfile","created_at":"2023-08-08T23:38:41.432Z","updated_at":"2023-08-08T23:38:41.432Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/try-rzk/cabal.config","dependencies":[]},{"ecosystem":"hackage","filepath":"try-rzk/try-rzk.cabal","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:41.554Z","updated_at":"2023-08-08T23:38:41.554Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/try-rzk/try-rzk.cabal","dependencies":[{"id":12418193429,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193430,"package_name":"miso","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193440,"package_name":"rzk","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193455,"package_name":"ghcjs-base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193459,"package_name":"ghcjs-prim","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"docs/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-08-08T23:38:41.924Z","updated_at":"2023-08-08T23:38:41.924Z","repository_link":"https://github.com/rzk-lang/rzk/blob/develop/docs/requirements.txt","dependencies":[{"id":12418193478,"package_name":"mkdocs-material","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193479,"package_name":"mike","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193480,"package_name":"python-markdown-math","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":12418193481,"package_name":"mkdocs-plugin-rzk","ecosystem":"pypi","requirements":"==0.1.2","direct":true,"kind":"runtime","optional":false},{"id":12418193482,"package_name":"pygments-rzk","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]}],"score":14.857078308661272,"created_at":"2025-09-04T15:50:07.926Z","updated_at":"2025-10-07T08:04:45.637Z","avatar_url":"https://github.com/rzk-lang.png","language":"Haskell","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/3453","html_url":"https://science.ecosyste.ms/projects/3453","bibtex_url":"https://science.ecosyste.ms/projects/3453/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/3453/export.apalike"}