Skip to content
@ispras

Ivannikov Institute for System Programming of the Russian Academy of Sciences

Popular repositories Loading

  1. casr casr Public

    Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.

    Rust 305 29

  2. web-scraper-chrome-extension web-scraper-chrome-extension Public

    Web data extraction tool implemented as chrome extension

    JavaScript 241 71

  3. llv8 llv8 Public

    Forked from v8/v8

    LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.

    C++ 234 13

  4. dedoc dedoc Public

    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 electro…

    Python 226 25

  5. oss-sydr-fuzz oss-sydr-fuzz Public

    OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

    C 139 32

  6. postgres postgres Public

    Forked from postgres/postgres

    This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.

    C 54 11

Repositories

Showing 10 of 112 repositories
  • scrapy-puppeteer Public

    Library that helps use puppeteer in scrapy.

    Python 52 BSD-3-Clause 4 0 3 Updated Mar 31, 2025
  • utopia-hls Public

    Utopia: a High-Level Synthesis framework

    C++ 10 Apache-2.0 2 10 1 Updated Mar 29, 2025
  • JavaScript 8 Apache-2.0 12 145 0 Updated Mar 27, 2025
  • lingvodoc Public

    More advanced Python version for Dialeqt project

    JavaScript 8 Apache-2.0 14 10 2 Updated Mar 27, 2025
  • GNN-AID Public
    Python 7 Apache-2.0 4 0 0 Updated Mar 26, 2025
  • casr Public

    Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.

    Rust 305 Apache-2.0 29 2 (1 issue needs help) 1 Updated Mar 24, 2025
  • oss-sydr-fuzz Public

    OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

    C 139 Apache-2.0 32 1 1 Updated Mar 20, 2025
  • cv Public

    Klever Continuous Verification Framework

    Python 2 Apache-2.0 4 13 0 Updated Mar 17, 2025
  • natch Public

    Natch: инструмент определения поверхности атаки

    Shell 24 9 0 0 Updated Mar 13, 2025
  • crusher Public
    Python 40 MIT 15 0 1 Updated Mar 11, 2025