{"payload":{"pageCount":1,"repositories":[{"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":"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":"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":"fuzztest","owner":"ispras","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":52,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-09T15:43:44.819Z"}},{"type":"Public","name":"v8-aotc","owner":"ispras","isFork":false,"description":"V8 ahead-of-time compilation project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":11,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-23T01:11:43.422Z"}},{"type":"Public","name":"sydr-benchmark","owner":"ispras","isFork":false,"description":"Sydr benchmark applications","topicNames":["benchmark","dse","symbolic-execution","symbolic","triton","fuzzing","binary-analysis","dynamic-symbolic-execution","concolic-execution","concolic"],"topicsNotShown":2,"allTopics":["benchmark","dse","symbolic-execution","symbolic","triton","fuzzing","binary-analysis","dynamic-symbolic-execution","concolic-execution","concolic","hybrid-fuzzing","dynamorio"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-25T17:03:02.119Z"}},{"type":"Public","name":"lingvodoc-ext-oslon","owner":"ispras","isFork":true,"description":"Library for language analysis used by language/dialect linguistic documentation system LingvoDoc.","topicNames":["linguistics","linguistic-analysis"],"topicsNotShown":0,"allTopics":["linguistics","linguistic-analysis"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-22T16:36:57.192Z"}},{"type":"Public","name":"Triton","owner":"ispras","isFork":true,"description":"Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":521,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-19T12:06:52.014Z"}},{"type":"Public","name":"qdt-guest-agent","owner":"ispras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-17T12:05:45.733Z"}},{"type":"Public","name":"iceFoam","owner":"ispras","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-20T14:08:57.182Z"}},{"type":"Public","name":"qemu-gui","owner":"ispras","isFork":false,"description":"GUI for QEMU","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":20,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-14T15:21:59.205Z"}},{"type":"Public","name":"z3","owner":"ispras","isFork":true,"description":"The Z3 Theorem Prover","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1448,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-25T02:33:49.246Z"}},{"type":"Public","name":"llv8","owner":"ispras","isFork":true,"description":"LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":14,"starsCount":230,"forksCount":3914,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-08T17:00:35.831Z"}},{"type":"Public","name":"binexport","owner":"ispras","isFork":true,"description":"An IDA Pro plugin for exporting disassemblies into BinNavi databases and to Protocol Buffers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":186,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-18T15:39:30.843Z"}},{"type":"Public","name":"llvm-for-v8","owner":"ispras","isFork":true,"description":"Version of llvm modified for use with llv8","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2093,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-11T10:51:35.461Z"}}],"repositoryCount":15,"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"}