{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tink-rust","owner":"project-oak","isFork":false,"description":"Rust port of Tink cryptography library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":21,"issueCount":11,"starsCount":80,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T23:03:39.566Z"}},{"type":"Public","name":"oak","owner":"project-oak","isFork":false,"description":"Meaningful control of data in distributed systems.","topicNames":["distributed-systems","policy","enclave"],"topicsNotShown":0,"allTopics":["distributed-systems","policy","enclave"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":24,"issueCount":176,"starsCount":978,"forksCount":106,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T20:04:05.180Z"}},{"type":"Public archive","name":"arcsjs-provable","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":11,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T13:57:05.051Z"}},{"type":"Public archive","name":"arcsjs-chromium","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T13:56:30.416Z"}},{"type":"Public archive","name":"arcsjs-core","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":2,"starsCount":12,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T13:54:36.265Z"}},{"type":"Public archive","name":"transparent-release","owner":"project-oak","isFork":false,"description":"Making transparency normal!","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":4,"issueCount":16,"starsCount":24,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-18T23:10:13.931Z"}},{"type":"Public","name":"hello-transparent-release","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-17T17:20:24.571Z"}},{"type":"Public archive","name":".allstar","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-06T23:09:19.568Z"}},{"type":"Public archive","name":".github","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-26T04:03:37.961Z"}},{"type":"Public archive","name":"silveroak","owner":"project-oak","isFork":false,"description":"Formal specification and verification of hardware, especially for security and privacy.","topicNames":["hardware","coq","formal-verification"],"topicsNotShown":0,"allTopics":["hardware","coq","formal-verification"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":3,"issueCount":34,"starsCount":118,"forksCount":20,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-19T03:23:23.930Z"}},{"type":"Public archive","name":"wasm-shared-buffers","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-18T06:00:20.209Z"}},{"type":"Public archive","name":"rust-verification-tools","owner":"project-oak","isFork":false,"description":"RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.","topicNames":["fuzzing","seahorn","rust","verification","klee","proptest"],"topicsNotShown":0,"allTopics":["fuzzing","seahorn","rust","verification","klee","proptest"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":25,"starsCount":274,"forksCount":37,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-12T14:53:25.938Z"}},{"type":"Public archive","name":"hafnium-verification","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":9,"starsCount":29,"forksCount":16,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-27T07:05:22.834Z"}},{"type":"Public archive","name":"oak-enclave","owner":"project-oak","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-13T09:38:10.624Z"}}],"repositoryCount":14,"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":"Repositories"}