{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"klee","owner":"klee","isFork":false,"description":"KLEE Symbolic Execution Engine","topicNames":["symbolic-execution","klee"],"topicsNotShown":0,"allTopics":["symbolic-execution","klee"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":8,"issueCount":79,"starsCount":2475,"forksCount":659,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:11:24.098Z"}},{"type":"Public","name":"klee.github.io","owner":"klee","isFork":false,"description":"Website for the KLEE project: <a href=\"https://klee-se.org/\" rel=\"nofollow\">https://klee-se.org/</a>","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":4,"starsCount":16,"forksCount":48,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T18:11:25.856Z"}},{"type":"Public","name":"klee-snap","owner":"klee","isFork":false,"description":"Official snap for KLEE","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T08:39:11.276Z"}},{"type":"Public","name":"klee-uclibc","owner":"klee","isFork":false,"description":"KLEE's version of uClibc","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":2,"starsCount":44,"forksCount":47,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-29T09:06:35.257Z"}},{"type":"Public","name":"klee-web","owner":"klee","isFork":false,"description":"KLEE in the browser","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":4,"starsCount":48,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T08:28:19.439Z"}},{"type":"Public archive","name":"legacy-klee-buildbot","owner":"klee","isFork":false,"description":"Buildbot scripts for the KLEE project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-28T12:54:38.156Z"}},{"type":"Public archive","name":"legacy-homebrew-klee","owner":"klee","isFork":false,"description":"Homebrew tap for KLEE","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-29T11:15:11.010Z"}},{"type":"Public archive","name":"legacy-klee-website","owner":"klee","isFork":false,"description":"The code of the old KLEE website. Kept for historical reasons only","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-10-22T10:47:05.330Z"}},{"type":"Public archive","name":"legacy-wllvm","owner":"klee","isFork":true,"description":"A wrapper script to build whole-program LLVM bitcode files","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":126,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-12-12T04:36:15.087Z"}}],"repositoryCount":9,"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"}