{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ChromeER","owner":"eth-sri","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":15,"issueCount":0,"starsCount":2,"forksCount":306,"license":"BSD 3-Clause \"New\" or \"Revised\" License","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-03-26T15:41:47.683Z"}},{"type":"Public","name":"phoenix","owner":"eth-sri","isFork":false,"description":"Private and Reliable Neural Network Inference (CCS '22)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":17,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T13:34:18.210Z"}},{"type":"Public","name":"learch","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":38,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-06T08:50:23.350Z"}},{"type":"Public","name":"ELINA","owner":"eth-sri","isFork":false,"description":"ELINA: ETH LIbrary for Numerical Analysis","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":15,"starsCount":126,"forksCount":53,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-07T18:53:08.535Z"}},{"type":"Public","name":"zkay-libsnark","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-18T14:54:21.009Z"}},{"type":"Public","name":"astarix","owner":"eth-sri","isFork":false,"description":"AStarix: Fast and Optimal Sequence-to-Graph Aligner","topicNames":["sequencing","edit-distance","shortest-paths","graph-alignment"],"topicsNotShown":0,"allTopics":["sequencing","edit-distance","shortest-paths","graph-alignment"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":4,"starsCount":72,"forksCount":7,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-25T23:27:41.107Z"}},{"type":"Public","name":"Nice2Predict","owner":"eth-sri","isFork":false,"description":"Learning framework for program property prediction","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":5,"issueCount":7,"starsCount":203,"forksCount":52,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-15T20:20:40.471Z"}},{"type":"Public","name":"inferui","owner":"eth-sri","isFork":false,"description":"InferUI: Robust Relational Layouts Synthesis from Examples for Android ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-14T21:21:22.812Z"}},{"type":"Public","name":"ModelsPHOG","owner":"eth-sri","isFork":false,"description":"Synthesized models for PHOG to make the results reproducible by the research community","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":4,"starsCount":10,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-23T08:37:21.960Z"}},{"type":"Public","name":"R4","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":9,"starsCount":5,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-31T20:57:55.448Z"}},{"type":"Public","name":"EventRacer","owner":"eth-sri","isFork":false,"description":"A race detection tool for event driven applications.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":17,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-21T15:01:12.992Z"}},{"type":"Public","name":"v8ER","owner":"eth-sri","isFork":true,"description":"The official mirror of the V8 SVN repository","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":581,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-24T10:37:01.142Z"}},{"type":"Public","name":"DFENCE","owner":"eth-sri","isFork":false,"description":"Dynamic Analysis and Synthesis System for Relaxed Memory Models","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-10-23T23:59:28.000Z"}}],"repositoryCount":13,"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"}