Skip to content

@ispras Ivannikov Institute for System Programming of the Russian Academy of Sciences

All

    Repositories list

    17 repositories

    • BehaviorTree.CPP

      Public
      Behavior Trees Library in C++. Batteries included.
      C++
      •
      MIT License
      •864•0•0•0•Updated Jun 17, 2026Jun 17, 2026

    • Futag

      Public
      FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
      code-generatorllvmstatic-analysis
      code-generatorllvmstatic-analysiscrashfuzzingautomated-testingaddresssanitizer
      C++
      •
      GNU General Public License v3.0
      •11•56•0•0•Updated Apr 3, 2026Apr 3, 2026

    • parmasan

      Public
      Mirror repository with parmasan project
      C++
      •
      MIT License
      •2•6•0•0•Updated Sep 10, 2025Sep 10, 2025

    • utopia-hls

      Public
      Utopia: a High-Level Synthesis framework
      C++
      •
      Apache License 2.0
      •5•11•10•1•Updated Jul 17, 2025Jul 17, 2025

    • percy

      Public
      C++ header-only exact synthesis library
      C++
      •
      MIT License
      •8•0•0•0•Updated Apr 27, 2024Apr 27, 2024

    • fuzztest

      Public
      C++
      •
      Apache License 2.0
      •139•1•0•0•Updated Jun 9, 2023Jun 9, 2023

    • v8-aotc

      Public
      V8 ahead-of-time compilation project
      C++
      •
      Other
      •5•15•0•1•Updated Oct 23, 2022Oct 23, 2022

    • sydr-benchmark

      Public
      Sydr benchmark applications
      benchmarkdsesymbolic-execution
      benchmarkdsesymbolic-executionsymbolictritonfuzzingbinary-analysisdynamoriodynamic-symbolic-executionconcolic-execution
      C++
      •7•17•0•0•Updated Jul 25, 2022Jul 25, 2022

    • lingvodoc-ext-oslon

      Public
      Library for language analysis used by language/dialect linguistic documentation system LingvoDoc.
      linguisticslinguistic-analysis
      linguisticslinguistic-analysis
      C++
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 22, 2021Dec 22, 2021

    • Triton

      Public
      Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST represe…
      C++
      •
      Apache License 2.0
      •597•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • qdt-guest-agent

      Public
      C++
      •1•2•0•0•Updated Nov 17, 2021Nov 17, 2021

    • iceFoam

      Public
      C++
      •6•0•0•0•Updated Aug 20, 2020Aug 20, 2020

    • qemu-gui

      Public
      GUI for QEMU
      C++
      •
      Apache License 2.0
      •8•23•1•0•Updated May 14, 2020May 14, 2020

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.7k•0•0•0•Updated Apr 25, 2020Apr 25, 2020

    • llv8

      Public
      LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.
      C++
      •
      Other
      •4.3k•233•14•0•Updated Sep 8, 2016Sep 8, 2016

    • binexport

      Public
      An IDA Pro plugin for exporting disassemblies into BinNavi databases and to Protocol Buffers
      C++
      •
      Apache License 2.0
      •249•0•0•0•Updated Mar 18, 2016Mar 18, 2016

    • llvm-for-v8

      Public
      Version of llvm modified for use with llv8
      C++
      •
      Other
      •2.1k•8•0•0•Updated Mar 11, 2016Mar 11, 2016
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.