Ivannikov Institute for System Programming of the Russian Academy of Sciences (ispras)

Ivannikov Institute for System Programming of the Russian Academy of Sciences

ispras

Organization data from Github https://github.com/ispras

Location:Moscow, Russia

Home Page:http://www.ispras.ru/en/

GitHub:@ispras

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

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

Language:PythonLicense:Apache-2.0Stargazers:619Issues:11Issues:30

casr

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

Language:RustLicense:Apache-2.0Stargazers:334Issues:5Issues:72

web-scraper-chrome-extension

Web data extraction tool implemented as chrome extension

Language:JavaScriptLicense:LGPL-3.0Stargazers:263Issues:8Issues:36

oss-sydr-fuzz

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

Language:CLicense:Apache-2.0Stargazers:141Issues:7Issues:9

hdl-benchmarks

Collection of digital hardware modules & projects (benchmarks)

Language:VerilogLicense:NOASSERTIONStargazers:61Issues:15Issues:7

Futag

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

Language:PythonLicense:GPL-3.0Stargazers:56Issues:7Issues:68

scrapy-puppeteer

Library that helps use puppeteer in scrapy.

Language:PythonLicense:BSD-3-ClauseStargazers:52Issues:10Issues:2

qdt

QEMU Development Toolkit

Language:PythonLicense:NOASSERTIONStargazers:42Issues:9Issues:14
Language:PythonLicense:MITStargazers:40Issues:7Issues:0
Language:PythonLicense:Apache-2.0Stargazers:29Issues:5Issues:9

natch

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

scrapy-puppeteer-service

A special service that runs puppeteer instances.

Language:JavaScriptLicense:BSD-3-ClauseStargazers:18Issues:13Issues:0

wibe

An Extensible Open Source Framework for Evaluating Imperceptibility and Robustness of Digital Watermarks for Generated Images

Language:PythonLicense:Apache-2.0Stargazers:14Issues:0Issues:2
Language:PythonLicense:Apache-2.0Stargazers:11Issues:6Issues:1

utopia-hls

Utopia: a High-Level Synthesis framework

Language:C++License:Apache-2.0Stargazers:11Issues:6Issues:27

lingvodoc

More advanced Python version for Dialeqt project

Language:JavaScriptLicense:Apache-2.0Stargazers:8Issues:8Issues:12
Language:JavaScriptLicense:Apache-2.0Stargazers:7Issues:7Issues:732

sv-tests

Test suites on Verilog and SystemVerilog standards

Language:PythonLicense:Apache-2.0Stargazers:6Issues:0Issues:0

parmasan

Mirror repository with parmasan project

Language:C++License:MITStargazers:6Issues:5Issues:2
Language:CLicense:NOASSERTIONStargazers:5Issues:3Issues:0

cv

Klever Continuous Verification Framework

Language:PythonLicense:Apache-2.0Stargazers:2Issues:13Issues:34

dedockerfiles

Collection of dockerfiles for dedoc group projects

Language:DockerfileStargazers:2Issues:7Issues:0

cv-launcher

Continuous Verification Launcher

Stargazers:0Issues:0Issues:0

cv-visualizer

Continuous Verification Visualizer

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:NextflowLicense:MITStargazers:0Issues:0Issues:0

typst-templates

Collection of Typst templates for various needs

Language:TypstStargazers:0Issues:0Issues:4