{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"learn","owner":"AdaCore","isFork":false,"description":"Sources for learn.adacore.com","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":19,"starsCount":91,"forksCount":37,"license":"Creative Commons Attribution 4.0 International","participation":[37,21,8,13,5,7,5,12,9,12,22,10,10,7,20,3,2,9,21,0,13,15,7,8,15,28,6,23,14,36,7,0,1,31,15,12,15,17,3,17,4,3,2,36,9,9,12,12,14,16,6,14],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T20:56:54.681Z"}},{"type":"Public","name":"gtkada","owner":"AdaCore","isFork":false,"description":"Ada bindings for the GTK+ graphical library.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":7,"issueCount":23,"starsCount":84,"forksCount":18,"license":"Other","participation":[0,0,2,0,0,2,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,2,0,0,0,0,3,2,0,1,0,0,0,0,0,0,1,0,0,0,1,1,0,2,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T23:33:04.837Z"}},{"type":"Public","name":"gnatcoverage","owner":"AdaCore","isFork":false,"description":"GNATcoverage: Coverage Analysis Tool","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":2,"starsCount":32,"forksCount":9,"license":null,"participation":[6,11,12,17,5,15,19,9,5,21,19,11,1,2,4,14,11,8,10,12,47,5,25,12,6,11,4,19,15,17,29,31,49,39,0,2,20,44,24,14,14,24,43,40,30,11,8,7,12,10,8,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:06:57.739Z"}},{"type":"Public","name":"gpr","owner":"AdaCore","isFork":false,"description":"The framework for analyzing the GNAT Project (GPR) files","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":1,"starsCount":13,"forksCount":9,"license":"Apache License 2.0","participation":[6,8,4,3,3,0,1,3,3,4,0,4,4,9,7,10,6,3,17,14,3,1,4,3,7,2,9,9,3,19,7,17,9,6,3,8,7,1,2,3,3,2,9,1,8,3,8,4,2,3,2,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T16:44:10.536Z"}},{"type":"Public","name":"ada_language_server","owner":"AdaCore","isFork":false,"description":"Server implementing the Microsoft Language Protocol for Ada and SPARK","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":35,"starsCount":219,"forksCount":54,"license":"GNU General Public License v3.0","participation":[10,9,22,6,16,20,21,20,19,28,24,27,3,3,18,34,22,23,51,24,14,10,10,15,18,25,18,9,12,7,13,16,6,5,0,2,11,6,11,3,8,16,4,18,15,6,15,10,8,15,13,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T15:28:53.533Z"}},{"type":"Public","name":"langkit-query-language","owner":"AdaCore","isFork":false,"description":"query language for Libadalang and Langkit","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":1,"starsCount":3,"forksCount":6,"license":"Other","participation":[0,9,0,11,18,7,16,11,10,3,10,22,3,7,4,3,11,0,11,19,7,5,19,16,23,16,10,10,5,22,5,8,10,5,0,4,15,14,6,9,7,10,6,6,3,9,12,11,3,3,6,17],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T14:22:09.244Z"}},{"type":"Public","name":"gnatstudio","owner":"AdaCore","isFork":false,"description":"GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":6,"issueCount":36,"starsCount":376,"forksCount":53,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T12:23:18.022Z"}},{"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.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":1,"starsCount":236,"forksCount":33,"license":"GNU General Public License v3.0","participation":[23,20,29,52,50,62,29,47,47,36,41,35,49,31,8,9,11,7,62,42,43,23,25,46,37,35,46,40,43,73,51,39,47,43,0,11,47,39,35,28,26,14,29,34,44,44,41,42,18,19,39,15],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T09:59:29.466Z"}},{"type":"Public","name":"RecordFlux","owner":"AdaCore","isFork":false,"description":"Formal specification and generation of verifiable binary parsers, message generators and protocol state machines","topicNames":["parser","spark","communication-protocol","formal-methods","ada","protocol-parser","binary-parser","formal-verification","protocol-specification","formal-specification"],"topicsNotShown":1,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":184,"starsCount":100,"forksCount":6,"license":"GNU Affero General Public License v3.0","participation":[5,2,3,6,5,6,10,5,4,7,11,8,9,32,14,22,18,1,14,7,14,9,0,4,3,8,8,19,7,4,14,9,8,9,0,5,4,3,6,5,8,11,0,4,15,9,9,4,13,9,7,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T08:51:17.866Z"}},{"type":"Public","name":"bb-runtimes","owner":"AdaCore","isFork":false,"description":"Source repository for the GNAT Bare Metal BSPs","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":5,"issueCount":0,"starsCount":61,"forksCount":48,"license":"Other","participation":[4,5,3,0,1,2,0,7,8,2,4,2,0,5,5,1,2,0,1,8,5,3,4,2,0,3,4,8,1,5,2,4,2,0,0,0,6,0,2,2,0,0,0,1,8,8,13,7,13,0,1,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T17:54:32.870Z"}},{"type":"Public","name":"langkit","owner":"AdaCore","isFork":false,"description":"Language creation framework.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":3,"starsCount":75,"forksCount":34,"license":"Other","participation":[8,7,12,18,13,11,20,23,29,8,1,11,12,22,0,1,0,11,16,31,67,32,33,19,8,19,4,3,16,12,19,23,8,3,0,2,21,7,6,11,7,11,6,11,1,26,31,1,5,5,3,13],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T14:33:18.860Z"}},{"type":"Public","name":"libadalang","owner":"AdaCore","isFork":false,"description":"Ada semantic analysis library.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":13,"starsCount":143,"forksCount":41,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T08:30:36.577Z"}},{"type":"Public","name":"training_material","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":5,"issueCount":0,"starsCount":20,"forksCount":7,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T08:13:39.762Z"}},{"type":"Public","name":"gnat-llvm","owner":"AdaCore","isFork":false,"description":"LLVM based GNAT compiler","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":2,"starsCount":175,"forksCount":17,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T16:45:15.462Z"}},{"type":"Public","name":"VSS","owner":"AdaCore","isFork":false,"description":"High level string and text processing library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":49,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T14:09:08.181Z"}},{"type":"Public","name":"florist","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":5,"issueCount":3,"starsCount":4,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T10:33:57.567Z"}},{"type":"Public","name":"ada-spark-rfcs","owner":"AdaCore","isFork":false,"description":"Platform to submit RFCs for the Ada & SPARK languages","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":23,"issueCount":19,"starsCount":58,"forksCount":28,"license":null,"participation":[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,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,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T10:20:48.732Z"}},{"type":"Public","name":"libadalang-tools","owner":"AdaCore","isFork":false,"description":"Libadalang-based tools","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":3,"issueCount":21,"starsCount":16,"forksCount":13,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T08:41:00.837Z"}},{"type":"Public","name":"gnatdoc","owner":"AdaCore","isFork":false,"description":"GNAT Documentation Generator","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":2,"issueCount":1,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T00:54:49.588Z"}},{"type":"Public","name":"markdown","owner":"AdaCore","isFork":false,"description":"Markdown parser","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T17:49:03.611Z"}},{"type":"Public","name":"lmod_manager","owner":"AdaCore","isFork":false,"description":"lmod based management tool for GNAT and SPARK installations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,2,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,2,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T16:27:29.968Z"}},{"type":"Public","name":"e3-core","owner":"AdaCore","isFork":false,"description":"Core framework for developing portable automated build systems ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":6,"issueCount":27,"starsCount":26,"forksCount":37,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T14:41:58.357Z"}},{"type":"Public","name":"SPARKlib","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"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-04-18T09:37:27.437Z"}},{"type":"Public","name":"qemu","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":8,"license":"Other","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,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T06:53:10.607Z"}},{"type":"Public","name":"lal-refactor","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":[0,0,0,0,0,0,0,3,3,19,11,2,6,4,2,0,2,0,8,0,1,2,0,0,0,0,3,5,5,1,1,2,0,0,0,0,4,0,0,0,0,0,0,2,0,0,4,10,0,4,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T12:55:50.611Z"}},{"type":"Public","name":"why3","owner":"AdaCore","isFork":false,"description":"SPARK 2014 repository for the Why3 verification platform.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T13:11:17.589Z"}},{"type":"Public","name":"gnatcoll-core","owner":"AdaCore","isFork":false,"description":"GNAT Components Collection – Core packages","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":3,"issueCount":6,"starsCount":43,"forksCount":28,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T08:32:07.304Z"}},{"type":"Public","name":"sphinxcontrib-adadomain","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T07:42:00.765Z"}},{"type":"Public","name":"ada_coding_standards","owner":"AdaCore","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":2,"license":null,"participation":[0,0,6,0,5,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,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T15:53:30.720Z"}},{"type":"Public","name":"gnatcoll-bindings","owner":"AdaCore","isFork":false,"description":"GNAT Components Collection – Bindings to C libraries","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":2,"issueCount":3,"starsCount":13,"forksCount":17,"license":"Other","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,4,3,0,0,1,1,0,0,0,0,0,0,0,2,0,1,0,0,0,0,3,0,3,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T08:09:39.988Z"}}],"repositoryCount":109,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}