{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"basalt","owner":"Componolit","isFork":false,"description":"Collection of formally verified building blocks","allTopics":["spark","ada","formal-verification"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":6,"starsCount":9,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-09T23:04:17.853Z"}},{"type":"Public archive","name":"RecordFlux-specifications","owner":"Componolit","isFork":false,"description":"Specifications for RecordFlux","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T14:30:18.675Z"}},{"type":"Public","name":"gh-pages-deployment-experiment","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-30T11:32:34.797Z"}},{"type":"Public archive","name":"ada-runtime","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":8,"starsCount":33,"forksCount":3,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-02T09:12:12.541Z"}},{"type":"Public","name":"spdm-emu","owner":"Componolit","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":41,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T16:21:36.007Z"}},{"type":"Public","name":"libspdm","owner":"Componolit","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":94,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T16:20:47.357Z"}},{"type":"Public","name":"AZ3","owner":"Componolit","isFork":false,"description":"Ada binding to the Z3 Theorem Prover","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":5,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-18T14:44:47.553Z"}},{"type":"Public","name":"ada-style","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":5,"starsCount":6,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-07T12:04:07.977Z"}},{"type":"Public","name":"systematization-binary-vulnerabilities","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":76,"starsCount":3,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-02T13:47:20.157Z"}},{"type":"Public","name":"libsparkcrypto","owner":"Componolit","isFork":false,"description":"A cryptographic library in SPARK 2014","allTopics":["crypto-library","formal-verification"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":3,"starsCount":27,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-26T09:43:16.058Z"}},{"type":"Public","name":"cbe","owner":"Componolit","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-27T17:05:21.284Z"}},{"type":"Public","name":"jwx","owner":"Componolit","isFork":false,"description":"JSON/JWK/JWS/JWT/Base64 library in SPARK","allTopics":["jwt","base64","jose","jwt-token","jwk","jws","ada","jwt-authentication","json","spark","json-web-signature"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":2,"starsCount":17,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-12T05:49:54.960Z"}},{"type":"Public","name":"systematization-session-vulnerabilities","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-03T13:11:25.058Z"}},{"type":"Public archive","name":"gneiss","owner":"Componolit","isFork":false,"description":"Framework for platform-independent SPARK components","allTopics":["embedded","formal-methods","formal-verification","component-based","spark","ada"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":29,"starsCount":22,"forksCount":2,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-28T16:42:02.251Z"}},{"type":"Public","name":"github-action-cache","owner":"Componolit","isFork":true,"description":"Cache dependencies and build outputs in GitHub Actions","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1168,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-25T15:24:22.561Z"}},{"type":"Public","name":"gravel","owner":"Componolit","isFork":false,"description":"Component library for components built with Gneiss","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-23T10:36:58.266Z"}},{"type":"Public","name":"7-segment-driver","owner":"Componolit","isFork":false,"description":"Driver for 7 segment displays based on the STM32F0 Discovery board","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-11T11:13:34.425Z"}},{"type":"Public","name":"genode-componolit","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-10T10:00:54.686Z"}},{"type":"Public","name":"message-sequence-formalization","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":50,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-08T12:27:46.127Z"}},{"type":"Public","name":"SXML","owner":"Componolit","isFork":false,"description":"Formally verified, bounded-stack XML library","allTopics":["xml","formal-methods","ada","formal-verification","parser","spark"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":6,"starsCount":21,"forksCount":2,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-26T13:27:49.102Z"}},{"type":"Public","name":"sparkprof","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-26T12:47:57.713Z"}},{"type":"Public","name":"alire-index","owner":"Componolit","isFork":true,"description":"Community index for the Alire project","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":94,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-06T14:07:42.184Z"}},{"type":"Public","name":"systematization-related-work","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":23,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-04T11:54:32.329Z"}},{"type":"Public","name":"systematization-tools","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":56,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-03T17:40:44.017Z"}},{"type":"Public","name":"systematization-binary-formats","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":53,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-13T17:08:38.701Z"}},{"type":"Public","name":"Workarounds","owner":"Componolit","isFork":false,"description":"Repository to track workarounds to be removed once an upstream solution is available","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":36,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-13T16:07:34.923Z"}},{"type":"Public","name":"systematization-binary-schemas","owner":"Componolit","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":59,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-05T17:56:42.329Z"}},{"type":"Public archive","name":"docker-ci","owner":"Componolit","isFork":false,"description":"CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-05T15:41:59.486Z"}},{"type":"Public","name":"Cappulada","owner":"Componolit","isFork":false,"description":"[DEPRECATED] Generate Ada bindings to C++ code","allTopics":["cpp","bindings","ada","binding-generator"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":32,"starsCount":15,"forksCount":3,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-09T12:02:37.174Z"}},{"type":"Public","name":"aidl-cpp","owner":"Componolit","isFork":false,"description":"Androids C++ AIDL code generator for Linux","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-17T12:09:38.508Z"}}],"repositoryCount":40,"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":"Componolit repositories"}