{"id":26012453,"url":"https://github.com/AdaCore/AdaCore","last_synced_at":"2025-03-06T00:31:49.478Z","repository":null,"keywords":[],"created_at":"2025-03-06T00:31:37.459Z","updated_at":"2025-03-06T00:31:37.459Z","avatar_url":null,"language":null,"readme":null,"funding_links":[],"categories":["Back-End Development"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FAdaCore%2FAdaCore","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FAdaCore%2FAdaCore","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FAdaCore%2FAdaCore/lists"}