Skip to content

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

Change the repository type filter

All

    Repositories list

    112 repositories

    • casr

      Public
      Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
      testingrustsecuritycrash-reportingsdlgdbcrashfuzzingdynamic-analysisafl
      Rust
      •
      Apache License 2.0
      •27•290•2•3•Updated Jan 14, 2025Jan 14, 2025

    • lingvodoc-react

      Public
      JavaScript
      •
      Apache License 2.0
      •12•8•144•0•Updated Jan 14, 2025Jan 14, 2025

    • lingvodoc

      Public
      More advanced Python version for Dialeqt project
      JavaScript
      •
      Apache License 2.0
      •14•8•10•1•Updated Jan 14, 2025Jan 14, 2025

    • utopia-hls

      Public
      Utopia: a High-Level Synthesis framework
      C++
      •
      Apache License 2.0
      •2•9•9•1•Updated Jan 13, 2025Jan 13, 2025

    • natch

      Public
      Natch: инструмент определения поверхности атаки
      Shell
      •9•22•0•0•Updated Jan 13, 2025Jan 13, 2025

    • web-scraper-chrome-extension

      Public
      Web data extraction tool implemented as chrome extension
      javascriptscrapingwebscrapingscraping-tool
      JavaScript
      •
      GNU Lesser General Public License v3.0
      •69•228•12•11•Updated Jan 11, 2025Jan 11, 2025

    • news-page-dataset

      Public
      1•4•0•0•Updated Jan 10, 2025Jan 10, 2025

    • sv-tests

      Public
      Test suites on Verilog and SystemVerilog standards
      Verilog
      •1•5•2•0•Updated Jan 9, 2025Jan 9, 2025

    • GNN-AID

      Public
      Python
      •
      Apache License 2.0
      •3•5•0•0•Updated Jan 9, 2025Jan 9, 2025

    • 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 electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser
      htmlpdfocrtable-of-contentsexcelhtml-parserdocxdocumentsdocscanned-documents
      Python
      •
      Apache License 2.0
      •22•203•2•0•Updated Dec 25, 2024Dec 25, 2024

    • scrapy-puppeteer

      Public
      Library that helps use puppeteer in scrapy.
      scrapymiddlewarespiderscrapy-puppeteer
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •4•52•0•2•Updated Dec 20, 2024Dec 20, 2024

    • scrapy-puppeteer-service

      Public
      A special service that runs puppeteer instances.
      selectorscrapypuppeteer
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •5•14•0•0•Updated Dec 19, 2024Dec 19, 2024

    • crusher

      Public
      dsestatic-analysissymbolic-executionsymbolicfuzzingbinary-analysisdynamic-symbolic-executionconcolic-executionconcoliccoverage-guided-fuzzing
      Python
      •
      MIT License
      •15•40•0•1•Updated Dec 18, 2024Dec 18, 2024

    • oss-sydr-fuzz

      Public
      OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
      dsesymbolic-executionsymbolicfuzz-testingvulnerabilitiesstabilitylibfuzzerdynamic-symbolic-executionconcolic-executionconcolic
      C
      •
      Apache License 2.0
      •32•136•1•0•Updated Dec 18, 2024Dec 18, 2024

    • minimap2_index_modifier

      Public
      C
      •
      Other
      •1•5•0•0•Updated Dec 12, 2024Dec 12, 2024

    • hdl-benchmarks

      Public
      Collection of digital hardware modules & projects (benchmarks)
      Verilog
      •
      Other
      •10•36•1•0•Updated Nov 14, 2024Nov 14, 2024

    • EcgLib

      Public
      Python
      •
      Apache License 2.0
      •4•15•5•1•Updated Nov 11, 2024Nov 11, 2024

    • PTAHA

      Public
      Patent Timesaving Automatic Helpful Apparatus
      R
      •
      Apache License 2.0
      •1•2•0•0•Updated Oct 31, 2024Oct 31, 2024

    • cotea

      Public
      cotea: Ansible control tool
      Python
      •
      Apache License 2.0
      •2•15•0•0•Updated Oct 30, 2024Oct 30, 2024

    • I3S

      Public
      Python
      •
      Other
      •3•2•0•1•Updated Oct 23, 2024Oct 23, 2024

    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      •
      BSD 2-Clause "Simplified" License
      •1.1k•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • mammo_crop

      Public
      Jupyter Notebook
      •
      Other
      •1•2•0•0•Updated Sep 30, 2024Sep 30, 2024

    • dedoc-utils

      Public
      Useful utilities for automatic document images processing
      Python
      •
      Apache License 2.0
      •2•7•0•0•Updated Sep 5, 2024Sep 5, 2024

    • fir-tests

      Public
      Test suites on FIRRTL specifications
      FIRRTL
      •1•2•1•0•Updated Aug 23, 2024Aug 23, 2024

    • qiling

      Public
      Qiling Advanced Binary Emulation Framework
      Python
      •
      GNU General Public License v2.0
      •750•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • cv

      Public
      Klever Continuous Verification Framework
      Python
      •
      Apache License 2.0
      •4•2•12•0•Updated Jul 10, 2024Jul 10, 2024

    • qdt

      Public
      QEMU Development Toolkit
      Python
      •
      Other
      •10•39•10•3•Updated Jul 8, 2024Jul 8, 2024

    • OpenABC

      Public
      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.
      Jupyter Notebook
      •
      BSD 3-Clause "New" or "Revised" License
      •20•2•0•0•Updated Jun 25, 2024Jun 25, 2024

    • parmasan

      Public
      Mirror repository with parmasan project
      C++
      •1•6•0•0•Updated May 21, 2024May 21, 2024

    • proceedings-md

      Public
      Automatic markdown to docx converter that follows the Ispras proceedings design requirements
      TypeScript
      •2•7•2•2•Updated May 20, 2024May 20, 2024