Pinned Repositories
casr
Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
dedoc
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
Futag
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
llv8
LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.
oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
postgres
This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.
pu4spark
Positive-Unlabeled Learning for Apache Spark
qemu
scrapy-puppeteer
Library that helps use puppeteer in scrapy.
web-scraper-chrome-extension
Web data extraction tool implemented as chrome extension
Ivannikov Institute for System Programming of the Russian Academy of Sciences's Repositories
ispras/casr
Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
ispras/oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
ispras/dedoc
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
ispras/Futag
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
ispras/scrapy-puppeteer
Library that helps use puppeteer in scrapy.
ispras/qdt
QEMU Development Toolkit
ispras/crusher
ispras/hdl-benchmarks
Collection of open HDL modules, subsystems and microprocessors (benchmarks)
ispras/natch
Natch: инструмент определения поверхности атаки
ispras/quix86
An x86-64 instruction decoder.
ispras/cotea
cotea: Ansible control tool
ispras/scrapy-puppeteer-service
A special service that runs puputeer instances.
ispras/lingvodoc
More advanced Python version for Dialeqt project
ispras/lingvodoc-react
ispras/proceedings-md
Automatic markdown to docx converter that follows the Ispras proceedings design requirements
ispras/dedoc-utils
Useful utilities for automatic document images processing
ispras/FuzzedDataProviderCS
FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.
ispras/parmasan
Mirror repository with parmasan project
ispras/RISC-V-nML
RISC-V nML is a specification of ISA RISC-V in nML architecture decription language.
ispras/utopia-hls
Utopia: a High-Level Synthesis framework
ispras/cv
Klever Continuous Verification Framework
ispras/OpenABC
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.
ispras/parmasan-remake
Mirror repository with patched remake for parmasan
ispras/staccato
Fork for the STACCATO project of University of Michigan
ispras/sv-tests
Test suites on Verilog and SystemVerilog standards
ispras/boinc
Open-source software for volunteer computing and grid computing.
ispras/boinc_docker
A Docker multi-container application that runs a BOINC server
ispras/fir-tests
Test suites on FIRRTL specifications
ispras/minimap2_index_modifier
ispras/percy
C++ header-only exact synthesis library