{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"arbitrar","owner":"petablox","isFork":false,"description":"User Guided API Misuse Detection","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":4,"starsCount":26,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-09T08:09:22.296Z"}},{"type":"Public","name":"graph-based-code-modelling","owner":"petablox","isFork":true,"description":"Code for \"Generative Code Modeling with Graphs\" (ICLR'19)","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":38,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-29T17:34:19.265Z"}},{"type":"Public","name":"cis547vm","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-08T05:14:43.809Z"}},{"type":"Public","name":"popl2020-artifact","owner":"petablox","isFork":false,"description":"Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-09T10:50:06.952Z"}},{"type":"Public","name":"SVF","owner":"petablox","isFork":true,"description":"Static Value-Flow Analysis for C and C++ Programs","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":431,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-08T13:55:05.024Z"}},{"type":"Public","name":"petablox.github.io","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-02T23:12:57.378Z"}},{"type":"Public","name":"oss-fuzz","owner":"petablox","isFork":true,"description":"OSS-Fuzz - continuous fuzzing of open source software.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2160,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-23T22:48:27.000Z"}},{"type":"Public","name":"code2seq","owner":"petablox","isFork":true,"description":"Code for the model presented in the paper: \"code2seq: Generating Sequences from Structured Representations of Code\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":163,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-14T19:55:36.316Z"}},{"type":"Public","name":"github-demo-tar","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-13T15:56:49.705Z"}},{"type":"Public","name":"popl2020-tutorial","owner":"petablox","isFork":false,"description":"Tutorial for Building Program Reasoning Tools using LLVM and Z3","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":19,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-20T04:40:48.573Z"}},{"type":"Public","name":"cis573vm","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-20T19:53:19.499Z"}},{"type":"Public","name":"dragoman","owner":"petablox","isFork":true,"description":"Rapid interpreter for object captions","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-29T02:29:49.074Z"}},{"type":"Public","name":"difflog","owner":"petablox","isFork":false,"description":"Difflog: Synthesizing Datalog Programs using Numerical Relaxation","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-26T00:41:34.829Z"}},{"type":"Public","name":"shift-spec","owner":"petablox","isFork":true,"description":"⏩ Shift AST Specification","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-12T18:01:10.940Z"}},{"type":"Public","name":"woboq_codebrowser","owner":"petablox","isFork":true,"description":"Woboq CodeBrowser","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":160,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-19T19:47:05.755Z"}},{"type":"Public","name":"pldi19-artifact","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-18T15:08:59.786Z"}},{"type":"Public","name":"github-demo-ntp","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-15T20:44:25.143Z"}},{"type":"Public","name":"Drake-Analysis-June2017","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-27T13:52:54.527Z"}},{"type":"Public","name":"libdai","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-18T17:04:31.054Z"}},{"type":"Public","name":"petablox-bench","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-16T00:42:19.752Z"}},{"type":"Public","name":"petablox-project.github.io","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-14T17:49:21.641Z"}},{"type":"Public archive","name":"difflog-benchmarks","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-16T19:57:47.573Z"}},{"type":"Public","name":"cbi","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-05T03:16:36.987Z"}},{"type":"Public","name":"petablox","owner":"petablox","isFork":false,"description":"Main distribution of Petablox","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":16,"starsCount":36,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-10T18:21:24.737Z"}},{"type":"Public","name":"logiql_benchmarks","owner":"petablox","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-25T23:09:26.214Z"}},{"type":"Public","name":"apisan","owner":"petablox","isFork":true,"description":"APISan: Sanitizing API Usages through Semantic Cross-Checking","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":27,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-17T19:30:53.252Z"}},{"type":"Public","name":"RoadRunner","owner":"petablox","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":44,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-23T17:01:43.322Z"}},{"type":"Public","name":"soot","owner":"petablox","isFork":true,"description":"Soot - A Java optimization framework","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":707,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-19T01:26:37.834Z"}},{"type":"Public","name":"jasmin","owner":"petablox","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":61,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-19T01:20:14.412Z"}},{"type":"Public","name":"heros","owner":"petablox","isFork":true,"description":"IFDS/IDE Solver for Soot","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":86,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-19T01:19:49.453Z"}}],"repositoryCount":31,"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":"petablox repositories"}