{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ExpoSE","owner":"ExpoSEJS","isFork":false,"description":"A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.","topicNames":["unit-testing","symbolic-execution","programming-languages","program-analysis","software-testing","bug-fixing","javascript"],"topicsNotShown":0,"allTopics":["unit-testing","symbolic-execution","programming-languages","program-analysis","software-testing","bug-fixing","javascript"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":9,"starsCount":177,"forksCount":34,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T15:57:30.452Z"}},{"type":"Public","name":"z3javascript","owner":"ExpoSEJS","isFork":false,"description":"A JavaScript wrapper for Z3 containing support for regular expressions & capture groups","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":19,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-23T05:42:48.116Z"}},{"type":"Public","name":"Z3","owner":"ExpoSEJS","isFork":false,"description":"Fork of Z3 solver including JavaScript binding generation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-15T13:09:36.017Z"}},{"type":"Public","name":"conformance_test_generator","owner":"ExpoSEJS","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-02T05:28:01.382Z"}},{"type":"Public","name":"jalangi2","owner":"ExpoSEJS","isFork":true,"description":"Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":116,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-16T13:21:29.754Z"}},{"type":"Public","name":"PLDI-Artifact","owner":"ExpoSEJS","isFork":false,"description":"Artifact submission for PLDI 2019","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-19T17:14:08.635Z"}},{"type":"Public","name":"PLDI19-Raw-Data","owner":"ExpoSEJS","isFork":false,"description":"A collection of targets for ExpoSE","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-22T16:11:53.248Z"}}],"repositoryCount":7,"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"}