{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"ada_language_server","owner":"AdaCore","isFork":false,"description":"Server implementing the Microsoft Language Protocol for Ada and SPARK","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":40,"starsCount":229,"forksCount":54,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T15:17:33.753Z"}},{"type":"Public","name":"libadalang-tools","owner":"AdaCore","isFork":false,"description":"Libadalang-based tools","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":3,"issueCount":23,"starsCount":16,"forksCount":13,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T13:30:34.837Z"}},{"type":"Public","name":"langkit-query-language","owner":"AdaCore","isFork":false,"description":"query language for Libadalang and Langkit","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":1,"starsCount":3,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T09:36:25.244Z"}},{"type":"Public","name":"spdx_ada","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T08:47:23.160Z"}},{"type":"Public","name":"gpr","owner":"AdaCore","isFork":false,"description":"The framework for analyzing the GNAT Project (GPR) files","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":1,"starsCount":15,"forksCount":9,"license":"Apache License 2.0","participation":[1,4,3,7,2,9,9,3,19,7,17,9,9,0,8,7,1,2,3,3,2,9,1,8,3,8,4,2,3,2,4,3,1,7,3,0,1,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T08:20:19.536Z"}},{"type":"Public","name":"gnatcoverage","owner":"AdaCore","isFork":false,"description":"GNATcoverage: Coverage Analysis Tool","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":5,"starsCount":36,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T08:19:19.739Z"}},{"type":"Public","name":"spark2014","owner":"AdaCore","isFork":false,"description":"SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":1,"starsCount":244,"forksCount":34,"license":"GNU General Public License v3.0","participation":[23,25,46,37,35,47,39,43,73,51,39,47,43,0,11,48,39,34,29,26,14,30,35,44,44,41,43,17,19,42,17,21,49,29,28,19,27,37,28,32,37,28,33,26,10,10,17,4,7,16,25,13],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T20:52:34.466Z"}},{"type":"Public","name":"learn","owner":"AdaCore","isFork":false,"description":"Sources for learn.adacore.com","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":2,"issueCount":24,"starsCount":92,"forksCount":38,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T06:32:31.246Z"}},{"type":"Public","name":"training_material","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":11,"issueCount":0,"starsCount":20,"forksCount":7,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T20:34:42.748Z"}},{"type":"Public","name":"gnatstudio","owner":"AdaCore","isFork":false,"description":"GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":5,"issueCount":43,"starsCount":401,"forksCount":52,"license":null,"participation":[8,8,7,8,12,22,8,7,14,17,26,26,20,2,13,17,10,19,18,2,3,10,17,15,4,3,5,7,9,19,8,11,4,23,7,15,32,18,27,16,10,10,17,10,12,13,11,8,10,14,12,20],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T15:37:42.022Z"}},{"type":"Public","name":"RecordFlux","owner":"AdaCore","isFork":false,"description":"Formal specification and generation of verifiable binary parsers, message generators and protocol state machines","allTopics":["parser","spark","communication-protocol","formal-methods","ada","protocol-parser","binary-parser","formal-verification","protocol-specification","formal-specification","python"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":184,"starsCount":104,"forksCount":6,"license":"Apache License 2.0","participation":[9,0,4,3,8,8,19,7,4,14,9,8,9,0,5,4,3,6,5,8,12,0,4,17,9,9,4,14,9,8,12,4,13,9,19,31,33,7,20,16,14,9,16,9,7,4,9,8,10,14,11,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T13:30:53.522Z"}},{"type":"Public","name":"lal-refactor","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T11:01:15.687Z"}},{"type":"Public","name":"gnatdoc","owner":"AdaCore","isFork":false,"description":"GNAT Documentation Generator","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":2,"issueCount":2,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T00:55:10.588Z"}},{"type":"Public","name":"gnatcoll-db","owner":"AdaCore","isFork":false,"description":"GNAT Components Collection – Database packages","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":44,"starsCount":10,"forksCount":22,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T16:41:22.499Z"}},{"type":"Public","name":"bb-runtimes","owner":"AdaCore","isFork":false,"description":"Source repository for the GNAT Bare Metal BSPs","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":5,"issueCount":1,"starsCount":63,"forksCount":50,"license":"Other","participation":[3,4,2,0,3,4,8,1,5,2,4,2,0,0,0,6,0,2,2,0,0,1,1,8,8,13,7,13,0,1,3,0,0,0,3,5,3,1,1,2,2,6,0,4,7,2,3,2,5,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T16:35:20.870Z"}},{"type":"Public","name":"aws","owner":"AdaCore","isFork":false,"description":"AWS is a complete framework to develop Web based applications in Ada.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":3,"issueCount":44,"starsCount":127,"forksCount":37,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T15:17:41.150Z"}},{"type":"Public","name":"libadalang","owner":"AdaCore","isFork":false,"description":"Ada semantic analysis library.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":14,"starsCount":146,"forksCount":42,"license":"Other","participation":[11,14,8,13,25,3,21,11,19,25,10,5,5,0,3,16,8,9,12,12,25,28,31,5,18,27,26,13,23,24,2,5,5,10,18,10,15,13,6,16,16,24,18,13,35,26,7,48,25,14,17,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T13:07:37.577Z"}},{"type":"Public","name":"langkit","owner":"AdaCore","isFork":false,"description":"Language creation framework.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":4,"starsCount":79,"forksCount":35,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T09:18:19.860Z"}},{"type":"Public","name":"ada-spark-rfcs","owner":"AdaCore","isFork":false,"description":"Platform to submit RFCs for the Ada & SPARK languages","allTopics":[],"primaryLanguage":null,"pullRequestCount":28,"issueCount":20,"starsCount":63,"forksCount":28,"license":null,"participation":[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,3,3,0,0,0,0,0,3,2,0,1,1,0,0,0,0,0,0,0,0,0,0,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T15:34:38.904Z"}},{"type":"Public","name":"gnat-llvm","owner":"AdaCore","isFork":false,"description":"LLVM based GNAT compiler","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":3,"starsCount":183,"forksCount":18,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T14:47:17.462Z"}},{"type":"Public","name":"SPARKlib","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T09:31:39.437Z"}},{"type":"Public","name":"gprbuild","owner":"AdaCore","isFork":false,"description":"GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":7,"issueCount":23,"starsCount":65,"forksCount":21,"license":"Other","participation":[0,2,2,6,1,6,0,3,5,2,2,3,4,0,1,0,0,0,6,0,0,1,1,0,3,0,2,1,0,0,0,0,0,0,2,3,0,2,1,5,3,3,0,2,0,0,0,4,0,0,3,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T08:28:22.721Z"}},{"type":"Public","name":"gnatcoll-core","owner":"AdaCore","isFork":false,"description":"GNAT Components Collection – Core packages","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":3,"issueCount":5,"starsCount":44,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T15:42:15.304Z"}},{"type":"Public","name":"e3-core","owner":"AdaCore","isFork":false,"description":"Core framework for developing portable automated build systems ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":27,"starsCount":26,"forksCount":36,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T14:57:25.502Z"}},{"type":"Public","name":"gnatformat","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":[0,0,2,1,6,0,0,0,0,0,0,0,0,0,0,0,2,1,0,0,0,3,0,0,0,0,0,0,3,2,2,1,1,5,0,0,3,7,11,2,0,6,3,1,1,0,0,1,1,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T13:18:55.628Z"}},{"type":"Public","name":"cuda","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":0,"starsCount":18,"forksCount":4,"license":null,"participation":[3,3,7,5,3,4,3,6,7,3,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T08:14:02.705Z"}},{"type":"Public","name":"training_labs_solar_system","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T15:12:44.566Z"}},{"type":"Public","name":"gprconfig_kb","owner":"AdaCore","isFork":false,"description":"GPR configuration knowledge base","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":1,"starsCount":3,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T14:54:29.419Z"}},{"type":"Public","name":"RecordFlux-devutils","owner":"AdaCore","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T14:08:50.098Z"}},{"type":"Public","name":"VSS","owner":"AdaCore","isFork":false,"description":"High level string and text processing library","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":52,"forksCount":7,"license":"Other","participation":[3,7,0,2,3,0,0,10,13,12,6,0,11,0,0,9,7,29,18,0,0,0,2,0,8,0,2,33,9,1,15,0,0,0,2,5,0,2,0,9,13,14,0,0,0,3,0,3,2,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T15:26:56.181Z"}}],"repositoryCount":115,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"AdaCore repositories"}