Discover ispras/microtesk Open Source project

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

171

dedoc

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

153

oss-sydr-fuzz

127

Futag

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

Library that helps use puppeteer in scrapy.

scrapy-puppeteer

Positive-Unlabeled Learning for Apache Spark

pu4spark

Scala

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers

crusher

qdt

QEMU Development Toolkit

Toolkit with state-of-the-art Automatic Terms Recognition methods in Scala

atr4s

Scala

spark-openstack

Scripts to setup Spark cluster (any version) in any Openstack environment with optional useful tools.

Jinja

juliet-dynamic

Juliet C/C++ Dynamic Test Suite

qemu-gui

GUI for QEMU

Collection of open HDL modules, subsystems and microprocessors (benchmarks) that are used for related tools testing.

hdl-benchmarks

Verilog

michman

Service for distributed systems deployment; part of Asperitas

natch

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

Shell

sydr-benchmark

Sydr benchmark applications

An x86-64 instruction decoder.

quix86

cotea

cotea: Ansible control tool

EcgLib

CentOS 6.9 build Docker environment to distribute portable Linux binaries

centos6.9-build-docker

Dockerfile

swat

SWAT - System-Wide Analysis Toolkit

proceedings

Proceedings of ISP RAS LaTeX Template

TeX

v8-aotc

V8 ahead-of-time compilation project

A special service that runs puputeer instances.

scrapy-puppeteer-service

tact

lingvodoc-react

texterra-py

Texterra python sdk

Utopia: a High-Level Synthesis framework

utopia-hls

More advanced Python version for Dialeqt project

lingvodoc

RISC-V Architecture Verification Suite (AVS)

riscv-avs

Assembly

microtesk-old

MicroTESK: Specification-Based Framework for Developing Test Program Generators

Regularized multilingual Probabilistic Semantic Analysis Scala implementation.

HTML

TrustedDynamic

Dockerfile

proceedings-md

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

TypeScript

clouni

Cloud Unifier Tool for Service Orchestration

Useful utilities for automatic document images processing

dedoc-utils

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

FuzzedDataProviderCS

parmasan

Mirror repository with parmasan project

gocotea: Ansible control tool on Golang

gocotea

endometrium-dataset-analysis

This repository is dedicated to the analysis of the EndoNuke dataset

Jupyter Notebook

esoc

Ethernet Switch on Configurable Logic

Stata

angiocells_analysis

Jupyter Notebook

libosuction

A tool for stripping dynamic libraries of unneeded symbols

news-page-dataset

I3S

Mirror repository with patched remake for parmasan

parmasan-remake

minimap2_index_modifier

hls-idct

Inverse Discrete Cosine Transform (IDCT) algorithm implementations are written in languages for High-Level Synthesis (HLS) and Hardware Construction (HC) tools.

Verilog

sv-tests

Test suites based on Verilog and SystemVerilog standards

Verilog

Klever Continuous Verification Framework

Build flags extractor and summarizer.

flagsup

Collection of dockerfiles for dedoc group projects

mammo_crop

Jupyter Notebook

dedockerfiles

Dockerfile

qdt-guest-agent