Skip to content

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

Change the repository type filter

All

    Repositories list

    111 repositories

    • lingvodoc-react

      Public
      JavaScript
      •
      Apache License 2.0
      •11•7•142•0•Updated Oct 8, 2024Oct 8, 2024

    • lingvodoc

      Public
      More advanced Python version for Dialeqt project
      JavaScript
      •
      Apache License 2.0
      •13•7•10•1•Updated Oct 8, 2024Oct 8, 2024

    • hdl-benchmarks

      Public
      Collection of digital hardware modules & projects (benchmarks)
      Verilog
      •
      Other
      •7•30•4•0•Updated Oct 8, 2024Oct 8, 2024

    • natch

      Public
      Natch: инструмент определения поверхности атаки
      Shell
      •8•17•0•0•Updated Oct 8, 2024Oct 8, 2024

    • I3S

      Public
      Python
      •
      Other
      •2•1•0•1•Updated Oct 7, 2024Oct 7, 2024

    • crusher

      Public
      dsestatic-analysissymbolic-executionsymbolicfuzzingbinary-analysisdynamic-symbolic-executionconcolic-executionconcoliccoverage-guided-fuzzing
      Python
      •
      MIT License
      •14•36•0•1•Updated Oct 7, 2024Oct 7, 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

    • GNN-AID

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•1•Updated Oct 4, 2024Oct 4, 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
      •31•129•1•0•Updated Oct 4, 2024Oct 4, 2024

    • 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
      •18•153•3•1•Updated Oct 4, 2024Oct 4, 2024

    • news-page-dataset

      Public
      0•3•0•1•Updated Oct 1, 2024Oct 1, 2024

    • mammo_crop

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

    • scrapy-puppeteer-service

      Public
      A special service that runs puppeteer instances.
      selectorscrapypuppeteer
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •4•13•0•2•Updated Sep 30, 2024Sep 30, 2024

    • web-scraper-chrome-extension

      Public
      Web data extraction tool implemented as chrome extension
      javascriptscrapingwebscrapingscraping-tool
      JavaScript
      •
      GNU Lesser General Public License v3.0
      •69•214•11•8•Updated Sep 30, 2024Sep 30, 2024

    • scrapy-puppeteer

      Public
      Library that helps use puppeteer in scrapy.
      scrapymiddlewarespiderscrapy-puppeteer
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •3•51•0•3•Updated Sep 26, 2024Sep 26, 2024

    • sv-tests

      Public
      Test suites on Verilog and SystemVerilog standards
      Verilog
      •0•4•2•0•Updated Sep 25, 2024Sep 25, 2024

    • minimap2_index_modifier

      Public
      C
      •
      Other
      •0•4•0•0•Updated Sep 23, 2024Sep 23, 2024

    • utopia-hls

      Public
      Utopia: a High-Level Synthesis framework
      C++
      •
      Apache License 2.0
      •1•7•9•0•Updated Sep 5, 2024Sep 5, 2024

    • dedoc-utils

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

    • EcgLib

      Public
      Python
      •
      Apache License 2.0
      •3•13•5•2•Updated Aug 30, 2024Aug 30, 2024

    • fir-tests

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

    • qiling

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

    • casr

      Public
      Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
      testingrustsecuritycrash-reportingsdlgdbcrashfuzzingdynamic-analysisafl
      Rust
      •
      Apache License 2.0
      •24•278•2•0•Updated Aug 14, 2024Aug 14, 2024

    • cv

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

    • qdt

      Public
      QEMU Development Toolkit
      Python
      •
      Other
      •8•37•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
      •19•2•0•0•Updated Jun 25, 2024Jun 25, 2024

    • parmasan

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

    • proceedings-md

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

    • cotea

      Public
      cotea: Ansible control tool
      Python
      •
      Apache License 2.0
      •1•14•0•0•Updated May 20, 2024May 20, 2024

    • boinc

      Public
      Open-source software for volunteer computing and grid computing.
      PHP
      •
      GNU Lesser General Public License v3.0
      •445•0•0•0•Updated May 8, 2024May 8, 2024