Ivannikov Institute for System Programming of the Russian Academy of Sciences

Ivannikov Institute for System Programming of the Russian Academy of Sciences's repositories

casr

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

Language:RustApache-2.0243 6 62

oss-sydr-fuzz

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

Language:CApache-2.0106 9 5

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; Document logical extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser)

Language:PythonApache-2.078 7 12

Futag

FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек

Language:PythonGPL-3.051 8 65

scrapy-puppeteer

Library that helps use puppeteer in scrapy.

Language:PythonBSD-3-Clause49 13 2

qdt

QEMU Development Toolkit

Language:PythonNOASSERTION36 12 14

crusher

Language:PythonMIT35 70

hdl-benchmarks

Collection of open HDL modules, subsystems and microprocessors (benchmarks)

Language:VerilogNOASSERTION21 14 5

quix86

An x86-64 instruction decoder.

Language:CLGPL-3.015 7 5

cotea

cotea: Ansible control tool

Language:PythonApache-2.014 4 1

natch

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

Language:Shell14 80

scrapy-puppeteer-service

A special service that runs puputeer instances.

Language:JavaScriptBSD-3-Clause11 110

lingvodoc

More advanced Python version for Dialeqt project

Language:JavaScriptApache-2.07 8 12

lingvodoc-react

Language:JavaScriptApache-2.07 10 710

proceedings-md

Automatic markdown to docx converter that follows the Ispras proceedings design requirements

Language:TypeScript6 5 2

dedoc-utils

Useful utilities for automatic document images processing

Language:PythonApache-2.05 60

FuzzedDataProviderCS

FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.

Language:C#MIT5 40

parmasan

Mirror repository with parmasan project

Language:C++4 3 1

RISC-V-nML

RISC-V nML is a specification of ISA RISC-V in nML architecture decription language.

Apache-2.0400

utopia-hls

Utopia: a High-Level Synthesis framework

Language:C++Apache-2.02 7 3

cv

Klever Continuous Verification Framework

Language:PythonApache-2.01 15 28

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.

Language:Jupyter NotebookBSD-3-Clause1 10