{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"polystat","owner":"polystat","isFork":false,"description":"Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus","allTopics":["static-analysis","oop","eolang","java"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":11,"issueCount":19,"starsCount":33,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-28T12:18:12.090Z"}},{"type":"Public","name":"odin","owner":"polystat","isFork":false,"description":"Object Dependency Inspector","allTopics":["eolang","scala","static-analysis"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":11,"issueCount":4,"starsCount":10,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-28T08:44:23.210Z"}},{"type":"Public","name":"awesome-bugs","owner":"polystat","isFork":false,"description":"A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers","allTopics":["defects","bugs","defect-classification"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":10,"issueCount":9,"starsCount":16,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-28T05:47:20.822Z"}},{"type":"Public","name":"polystat-cli","owner":"polystat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":10,"issueCount":8,"starsCount":5,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-28T02:28:27.635Z"}},{"type":"Public","name":"py2eo","owner":"polystat","isFork":false,"description":"Experimental Translator of Python Programs to EO Programming Language","allTopics":["python","scala","eolang","java","compiler"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":11,"issueCount":22,"starsCount":8,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T20:07:43.172Z"}},{"type":"Public","name":"c2eo","owner":"polystat","isFork":false,"description":"Experimental Translator of C/C++ Programs to EO Programs","allTopics":["cpp","clang","transpiler","compilers","eolang","c","compiler","llvm"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":24,"starsCount":12,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T19:47:33.232Z"}},{"type":"Public","name":"far","owner":"polystat","isFork":false,"description":"Find-a-Reverse (FaR) analyzer module for Polystat","allTopics":["static-analysis","xslt","java"],"primaryLanguage":{"name":"XSLT","color":"#EB8CEB"},"pullRequestCount":11,"issueCount":10,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T19:16:49.547Z"}},{"type":"Public","name":"j2eo","owner":"polystat","isFork":false,"description":"Experimental Transpiler of Java Programs to EO Programming Language","allTopics":["compiler","transpiler","eolang","java","jvm"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":13,"issueCount":40,"starsCount":11,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-25T10:27:25.457Z"}},{"type":"Public","name":"symex","owner":"polystat","isFork":false,"description":"Symbolic Execution engine for finding bugs in EO programs","allTopics":["java","symbolic-execution","eolang"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T08:56:36.548Z"}},{"type":"Public","name":"eog","owner":"polystat","isFork":false,"description":"EO programs to Call Flow Graph (CFG) transformator","allTopics":["oop","control-flow-graph","eolang","cfg"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T05:47:11.307Z"}},{"type":"Public","name":"clang-tidy-mistakes","owner":"polystat","isFork":false,"description":"This is a collection of C/C++ code snippets where Clang Tidy produces either false positives or false negatives","allTopics":["static-analysis","oop","clang-tidy"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":1,"starsCount":5,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-19T20:49:01.710Z"}},{"type":"Public archive","name":"j2ast","owner":"polystat","isFork":false,"description":"Java to AST Parser","allTopics":["java","parser"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":5,"starsCount":9,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-02T15:00:43.149Z"}},{"type":"Public","name":".github","owner":"polystat","isFork":false,"description":"Meta info about us","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-31T05:48:17.904Z"}}],"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":"polystat repositories"}