{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"c2eo","owner":"polystat","isFork":false,"description":"Experimental Translator of C/C++ Programs to EO Programs","topicNames":["cpp","clang","transpiler","compilers","eolang","c","compiler","llvm"],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":24,"starsCount":12,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T20:31:51.765Z"}},{"type":"Public","name":"polystat","owner":"polystat","isFork":false,"description":"Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus","topicNames":["static-analysis","oop","eolang","java"],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":11,"issueCount":19,"starsCount":31,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T19:37:48.275Z"}},{"type":"Public","name":"far","owner":"polystat","isFork":false,"description":"Find-a-Reverse (FaR) analyzer module for Polystat","topicNames":["static-analysis","xslt","java"],"topicsNotShown":0,"primaryLanguage":{"name":"XSLT","color":"#EB8CEB"},"pullRequestCount":11,"issueCount":10,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T19:13:17.551Z"}},{"type":"Public","name":"j2eo","owner":"polystat","isFork":false,"description":"Experimental Transpiler of Java Programs to EO Programming Language","topicNames":["compiler","transpiler","eolang","java","jvm"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":12,"issueCount":40,"starsCount":11,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T13:14:12.633Z"}},{"type":"Public","name":"odin","owner":"polystat","isFork":false,"description":"Object Dependency Inspector","topicNames":["eolang","scala","static-analysis"],"topicsNotShown":0,"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":12,"issueCount":4,"starsCount":10,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T14:36:34.980Z"}},{"type":"Public","name":"py2eo","owner":"polystat","isFork":false,"description":"Experimental Translator of Python Programs to EO Programming Language","topicNames":["python","scala","eolang","java","compiler"],"topicsNotShown":0,"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":11,"issueCount":22,"starsCount":8,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T22:35:17.967Z"}},{"type":"Public","name":"polystat-cli","owner":"polystat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":10,"issueCount":8,"starsCount":5,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T02:52:18.840Z"}},{"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","topicNames":["defects","bugs","defect-classification"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":10,"issueCount":9,"starsCount":15,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T02:25:08.553Z"}},{"type":"Public","name":"symex","owner":"polystat","isFork":false,"description":"Symbolic Execution engine for finding bugs in EO programs","topicNames":["java","symbolic-execution","eolang"],"topicsNotShown":0,"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","topicNames":["oop","control-flow-graph","eolang","cfg"],"topicsNotShown":0,"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","topicNames":["static-analysis","oop","clang-tidy"],"topicsNotShown":0,"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","name":".github","owner":"polystat","isFork":false,"description":"Meta info about us","topicNames":[],"topicsNotShown":0,"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":12,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}