{"id":19608650,"url":"https://github.com/sel4/camkes-tool","last_synced_at":"2025-04-27T20:33:01.405Z","repository":{"id":18878222,"uuid":"22095515","full_name":"seL4/camkes-tool","owner":"seL4","description":"The main CAmkES tool","archived":false,"fork":false,"pushed_at":"2025-03-17T00:00:12.000Z","size":6100,"stargazers_count":29,"open_issues_count":18,"forks_count":71,"subscribers_count":24,"default_branch":"master","last_synced_at":"2025-04-20T17:16:46.911Z","etag":null,"topics":["camkes"],"latest_commit_sha":null,"homepage":"https://docs.sel4.systems/CAmkES/","language":"Python","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/seL4.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES","contributing":null,"funding":null,"license":"LICENSES/BSD-2-Clause.txt","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":"2014-07-22T07:51:59.000Z","updated_at":"2025-03-17T00:00:14.000Z","dependencies_parsed_at":"2023-02-10T00:15:15.422Z","dependency_job_id":"beaa0b3f-b0d5-4e4a-9a2b-c17d43c06f5f","html_url":"https://github.com/seL4/camkes-tool","commit_stats":null,"previous_names":[],"tags_count":20,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-tool","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-tool/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-tool/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-tool/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/camkes-tool/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251204713,"owners_count":21552276,"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":["camkes"],"created_at":"2024-11-11T10:16:13.178Z","updated_at":"2025-04-27T20:33:00.316Z","avatar_url":"https://github.com/seL4.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# CAmkES\n\nThis repository contains the code generator and templating system that form the\ncore of the [CAmkES component platform](https://docs.sel4.systems/CAmkES/).\n\nFor more information about CAmkES functionality, see the\n[documentation](docs/index.md).\n\n## Dependencies\n\nSee the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies\n\n## Reporting security vulnerabilities\n\nIf you believe you have found a security vulnerability in code generated by\ncamkes-tool, we ask you to follow the seL4 [vulnerability disclosure\npolicy][VDP].\n\n[VDP]: https://github.com/seL4/seL4/blob/master/SECURITY.md\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes-tool","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fcamkes-tool","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes-tool/lists"}