{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"scrapy-puppeteer","owner":"ispras","isFork":false,"description":"Library that helps use puppeteer in scrapy.","topicNames":["scrapy","middleware","spider","scrapy-puppeteer"],"topicsNotShown":0,"allTopics":["scrapy","middleware","spider","scrapy-puppeteer"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":49,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:10:06.702Z"}},{"type":"Public","name":"lingvodoc-react","owner":"ispras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":136,"starsCount":7,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:04:08.317Z"}},{"type":"Public","name":"dedoc","owner":"ispras","isFork":false,"description":"Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and meta information from textual electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser","topicNames":["html","pdf","ocr","table-of-contents","excel","html-parser","docx","documents","doc","scanned-documents"],"topicsNotShown":8,"allTopics":["html","pdf","ocr","table-of-contents","excel","html-parser","docx","documents","doc","scanned-documents","txt","document-analysis","odt","pdf-parser","table-recognition","docx-parser","document-content-extraction","logical-structure-extraction"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":84,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:52:44.848Z"}},{"type":"Public","name":"casr","owner":"ispras","isFork":false,"description":"Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.","topicNames":["testing","rust","security","crash-reporting","sdl","gdb","crash","fuzzing","dynamic-analysis","afl"],"topicsNotShown":10,"allTopics":["testing","rust","security","crash-reporting","sdl","gdb","crash","fuzzing","dynamic-analysis","afl","appsec","vulnerability-management","triage","libfuzzer","coredump","devsecops","ssdlc","aflplusplus","exploitable","apport"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":244,"forksCount":24,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T09:11:03.664Z"}},{"type":"Public","name":"lingvodoc","owner":"ispras","isFork":false,"description":"More advanced Python version for Dialeqt project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":10,"starsCount":7,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T17:51:27.543Z"}},{"type":"Public","name":"natch","owner":"ispras","isFork":false,"description":"Natch: инструмент определения поверхности атаки","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T06:00:45.676Z"}},{"type":"Public","name":"parmasan","owner":"ispras","isFork":false,"description":"Mirror repository with parmasan project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T13:49:24.046Z"}},{"type":"Public","name":"crusher","owner":"ispras","isFork":false,"description":"","topicNames":["dse","static-analysis","symbolic-execution","symbolic","fuzzing","binary-analysis","dynamic-symbolic-execution","concolic-execution","concolic","coverage-guided-fuzzing"],"topicsNotShown":2,"allTopics":["dse","static-analysis","symbolic-execution","symbolic","fuzzing","binary-analysis","dynamic-symbolic-execution","concolic-execution","concolic","coverage-guided-fuzzing","bug-detection","hybrid-fuzzing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":35,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T06:19:02.394Z"}},{"type":"Public","name":"proceedings-md","owner":"ispras","isFork":false,"description":"Automatic markdown to docx converter that follows the Ispras proceedings design requirements","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T17:17:31.679Z"}},{"type":"Public","name":"cotea","owner":"ispras","isFork":false,"description":"cotea: Ansible control tool","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:18:50.387Z"}},{"type":"Public","name":"scrapy-puppeteer-service","owner":"ispras","isFork":false,"description":"A special service that runs puputeer instances.","topicNames":["selector","scrapy","puppeteer"],"topicsNotShown":0,"allTopics":["selector","scrapy","puppeteer"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":11,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T13:34:08.530Z"}},{"type":"Public","name":"minimap2_index_modifier","owner":"ispras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T10:17:15.182Z"}},{"type":"Public","name":"boinc","owner":"ispras","isFork":true,"description":"Open-source software for volunteer computing and grid computing.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"PHP","color":"#4F5D95"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":437,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T08:57:17.453Z"}},{"type":"Public","name":"boinc_docker","owner":"ispras","isFork":true,"description":"A Docker multi-container application that runs a BOINC server","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"PHP","color":"#4F5D95"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":58,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T13:57:34.947Z"}},{"type":"Public","name":"RISC-V-nML","owner":"ispras","isFork":false,"description":"RISC-V nML is a specification of ISA RISC-V in nML architecture decription language.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":7,"starsCount":4,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T08:41:53.541Z"}},{"type":"Public","name":"oss-sydr-fuzz","owner":"ispras","isFork":false,"description":"OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.","topicNames":["dse","symbolic-execution","symbolic","fuzz-testing","vulnerabilities","stability","libfuzzer","dynamic-symbolic-execution","concolic-execution","concolic"],"topicsNotShown":6,"allTopics":["dse","symbolic-execution","symbolic","fuzz-testing","vulnerabilities","stability","libfuzzer","dynamic-symbolic-execution","concolic-execution","concolic","oss-fuzz","hybrid-fuzzing","sydr","sydr-fuzz","security","fuzzing"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":106,"forksCount":31,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T13:35:55.670Z"}},{"type":"Public","name":"percy","owner":"ispras","isFork":true,"description":"C++ header-only exact synthesis library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T11:09:06.194Z"}},{"type":"Public","name":"fir-tests","owner":"ispras","isFork":false,"description":"Test suites on FIRRTL specifications","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T12:37:13.509Z"}},{"type":"Public","name":"OpenABC","owner":"ispras","isFork":true,"description":"OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":17,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T07:05:18.413Z"}},{"type":"Public","name":"cv","owner":"ispras","isFork":false,"description":"Klever Continuous Verification Framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":14,"starsCount":1,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T09:16:49.190Z"}},{"type":"Public","name":"utopia-hls","owner":"ispras","isFork":false,"description":"Utopia: a High-Level Synthesis framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":2,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T18:45:03.935Z"}},{"type":"Public","name":"qdt","owner":"ispras","isFork":false,"description":"QEMU Development Toolkit","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":10,"starsCount":36,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T01:48:05.855Z"}},{"type":"Public","name":"hdl-benchmarks","owner":"ispras","isFork":false,"description":"Collection of open HDL modules, subsystems and microprocessors (benchmarks) ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Verilog","color":"#b2b7f8"},"pullRequestCount":0,"issueCount":4,"starsCount":21,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T11:21:34.113Z"}},{"type":"Public","name":"FuzzedDataProviderCS","owner":"ispras","isFork":false,"description":"FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.","topicNames":["wrapper","csharp","structure","fuzzing","structureaware"],"topicsNotShown":0,"allTopics":["wrapper","csharp","structure","fuzzing","structureaware"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T12:35:34.162Z"}},{"type":"Public","name":"quix86","owner":"ispras","isFork":false,"description":"An x86-64 instruction decoder.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":5,"starsCount":15,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-11T10:26:52.924Z"}},{"type":"Public","name":"parmasan-remake","owner":"ispras","isFork":false,"description":"Mirror repository with patched remake for parmasan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T13:23:31.677Z"}},{"type":"Public","name":"staccato","owner":"ispras","isFork":false,"description":"Fork for the STACCATO project of University of Michigan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T21:40:08.056Z"}},{"type":"Public","name":"Futag","owner":"ispras","isFork":false,"description":"FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек","topicNames":["code-generator","static-analysis","crash","automated-testing","addresssanitizer","llvm","fuzzing"],"topicsNotShown":0,"allTopics":["code-generator","static-analysis","crash","automated-testing","addresssanitizer","llvm","fuzzing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":10,"starsCount":51,"forksCount":10,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-16T08:02:25.108Z"}},{"type":"Public","name":"sv-tests","owner":"ispras","isFork":false,"description":"Test suites on Verilog and SystemVerilog standards","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Verilog","color":"#b2b7f8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-28T10:17:27.549Z"}},{"type":"Public","name":"dedoc-utils","owner":"ispras","isFork":false,"description":"Useful utilities for automatic document images processing","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-26T13:23:08.902Z"}}],"repositoryCount":109,"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"}