• Stars
    star
    2
  • Language
    C
  • License
    GNU General Publi...
  • Created almost 1 year ago
  • Updated 10 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Mirror repository with patched remake for parmasan

More Repositories

1

casr

Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
Rust
279
star
2

web-scraper-chrome-extension

Web data extraction tool implemented as chrome extension
JavaScript
171
star
3

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
Python
153
star
4

oss-sydr-fuzz

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

Futag

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

scrapy-puppeteer

Library that helps use puppeteer in scrapy.
Python
43
star
7

pu4spark

Positive-Unlabeled Learning for Apache Spark
Scala
40
star
8

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers
Python
36
star
9

crusher

Python
35
star
10

qdt

QEMU Development Toolkit
Python
34
star
11

atr4s

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

spark-openstack

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

juliet-dynamic

Juliet C/C++ Dynamic Test Suite
23
star
14

qemu-gui

GUI for QEMU
C++
20
star
15

hdl-benchmarks

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

michman

Service for distributed systems deployment; part of Asperitas
Go
17
star
17

natch

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

sydr-benchmark

Sydr benchmark applications
C++
15
star
19

quix86

An x86-64 instruction decoder.
C
15
star
20

cotea

cotea: Ansible control tool
Python
14
star
21

EcgLib

Python
13
star
22

centos6.9-build-docker

CentOS 6.9 build Docker environment to distribute portable Linux binaries
Dockerfile
11
star
23

swat

SWAT - System-Wide Analysis Toolkit
C
11
star
24

proceedings

Proceedings of ISP RAS LaTeX Template
TeX
10
star
25

v8-aotc

V8 ahead-of-time compilation project
C++
10
star
26

scrapy-puppeteer-service

A special service that runs puputeer instances.
JavaScript
10
star
27

tact

C
8
star
28

lingvodoc-react

JavaScript
7
star
29

texterra-py

Texterra python sdk
Python
7
star
30

utopia-hls

Utopia: a High-Level Synthesis framework
C++
7
star
31

lingvodoc

More advanced Python version for Dialeqt project
JavaScript
7
star
32

riscv-avs

RISC-V Architecture Verification Suite (AVS)
Assembly
7
star
33

microtesk-old

MicroTESK: Specification-Based Framework for Developing Test Program Generators
7
star
34

tm

Regularized multilingual Probabilistic Semantic Analysis Scala implementation.
HTML
6
star
35

TrustedDynamic

Dockerfile
6
star
36

proceedings-md

Automatic markdown to docx converter that follows the Ispras proceedings design requirements
TypeScript
6
star
37

clouni

Cloud Unifier Tool for Service Orchestration
Python
5
star
38

dedoc-utils

Useful utilities for automatic document images processing
Python
5
star
39

FuzzedDataProviderCS

FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.
C#
5
star
40

parmasan

Mirror repository with parmasan project
C++
5
star
41

microtesk

MicroTESK: Specification-Based Framework for Developing Test Program Generators
Java
5
star
42

gocotea

gocotea: Ansible control tool on Golang
Go
5
star
43

endometrium-dataset-analysis

This repository is dedicated to the analysis of the EndoNuke dataset
Jupyter Notebook
4
star
44

esoc

Ethernet Switch on Configurable Logic
Stata
3
star
45

angiocells_analysis

Jupyter Notebook
3
star
46

libosuction

A tool for stripping dynamic libraries of unneeded symbols
C
3
star
47

news-page-dataset

3
star
48

I3S

Python
2
star
49

minimap2_index_modifier

C
2
star
50

hls-idct

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

sv-tests

Test suites based on Verilog and SystemVerilog standards
Verilog
1
star
52

cv

Klever Continuous Verification Framework
Python
1
star
53

flagsup

Build flags extractor and summarizer.
Python
1
star
54

mammo_crop

Jupyter Notebook
1
star
55

dedockerfiles

Collection of dockerfiles for dedoc group projects
Dockerfile
1
star
56

qdt-guest-agent

C++
1
star
57

NetBlox

Java
1
star
58

staccato

Fork for the STACCATO project of University of Michigan
C
1
star
59

flint

Scalable machine learning framework
Scala
1
star
60

gephi-graphson

Importer and exporter plugins for Gephi for GraphSON format
Java
1
star
61

PTAHA

Patent Timesaving Automatic Helpful Apparatus
R
1
star
62

RISC-V-nML

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