All

123 repositories

lingvodoc
Public
More advanced Python version for Dialeqt project
JavaScript
•
Apache License 2.0
•14•7•10•3•Updated Apr 23, 2026Apr 23, 2026
natch-specs
Public
Shell
•0•0•0•0•Updated Apr 23, 2026Apr 23, 2026
GNN-AID
Public
Python
•
MIT License
•4•13•1•0•Updated Apr 23, 2026Apr 23, 2026
oss-sydr-fuzz
Public
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
security dse symbolic-execution
security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution
C
•
Apache License 2.0
•42•146•1•3•Updated Apr 23, 2026Apr 23, 2026
lingvodoc-react
Public
JavaScript
•
Apache License 2.0
•12•7•149•0•Updated Apr 22, 2026Apr 22, 2026
wibe
Public
[ASE 2025 Tool Demo] WIBE: An Extensible Open Source Framework for Evaluating Imperceptibility and Robustness of Invisible Image Watermarks (WARP Benchmark pape…
framework attacks watermarking
framework attacks watermarking robustness generated-by-ai imperceptibility
Python
•
Apache License 2.0
•1•20•1•0•Updated Apr 21, 2026Apr 21, 2026
deepvariant_alternative_models
Public
Python
•0•0•0•0•Updated Apr 7, 2026Apr 7, 2026
dedoc
Public
Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and …
html pdf ocr
html pdf ocr table-of-contents excel html-parser docx documents doc scanned-documents
Python
•
Apache License 2.0
•52•659•6•1•Updated Apr 7, 2026Apr 7, 2026
Futag
Public
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
code-generator llvm static-analysis
code-generator llvm static-analysis crash fuzzing automated-testing addresssanitizer
C++
•
GNU General Public License v3.0
•11•57•0•0•Updated Apr 3, 2026Apr 3, 2026
web-scraper-chrome-extension
Public
Web data extraction tool implemented as chrome extension
javascript scraping webscraping
javascript scraping webscraping scraping-tool
JavaScript
•
GNU Lesser General Public License v3.0
•77•278•13•8•Updated Apr 2, 2026Apr 2, 2026
natch
Public
Natch: инструмент определения поверхности атаки
Shell
•8•34•0•0•Updated Mar 30, 2026Mar 30, 2026
scrapy-puppeteer-service
Public
A special service that runs puppeteer instances.
selector scrapy puppeteer
selector scrapy puppeteer
JavaScript
•
BSD 3-Clause "New" or "Revised" License
•5•18•0•0•Updated Mar 30, 2026Mar 30, 2026
casr
Public
Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
testing rust security
testing rust security crash-reporting sdl gdb crash fuzzing dynamic-analysis afl
Rust
•
Apache License 2.0
•36•353•8•4•Updated Mar 23, 2026Mar 23, 2026
bioinformatics_pipeline_benchmarking
Public
Jupyter Notebook
•0•0•0•0•Updated Mar 20, 2026Mar 20, 2026
I3S
Public
Python
•
Other
•3•2•0•0•Updated Mar 20, 2026Mar 20, 2026
crusher
Public
dse static-analysis symbolic-execution
dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing
Python
•
MIT License
•18•43•0•0•Updated Mar 18, 2026Mar 18, 2026
sv-tests
Public
Test suites on Verilog and SystemVerilog standards
SystemVerilog
•1•7•2•0•Updated Mar 3, 2026Mar 3, 2026
hdl-benchmarks
Public
Collection of digital hardware modules & projects (benchmarks)
Verilog
•
Other
•14•96•0•0•Updated Feb 27, 2026Feb 27, 2026
FedXplore
Public
Python
•
Apache License 2.0
•0•6•0•0•Updated Feb 16, 2026Feb 16, 2026
unicornafl
Public
AFL bindings for Unicorn-Engine
Rust
•40•0•0•0•Updated Feb 11, 2026Feb 11, 2026
qiling
Public
Qiling Advanced Binary Emulation Framework
Python
•
GNU General Public License v2.0
•778•0•0•0•Updated Feb 11, 2026Feb 11, 2026
angr
Public
A powerful and user-friendly binary analysis platform!
Python
•
BSD 2-Clause "Simplified" License
•1.2k•0•0•1•Updated Feb 11, 2026Feb 11, 2026
qdt
Public
QEMU Development Toolkit
Python
•
Other
•10•44•10•3•Updated Feb 2, 2026Feb 2, 2026
cv-visualizer
Public
Continuous Verification Visualizer
Python
•
Apache License 2.0
•1•0•5•0•Updated Dec 22, 2025Dec 22, 2025
mammography-pipeline
Public
0•0•0•0•Updated Nov 19, 2025Nov 19, 2025
minimap2_index_modifier
Public
C
•
Other
•1•5•0•0•Updated Oct 24, 2025Oct 24, 2025
cv
Public
Klever Continuous Verification Framework
Python
•
Apache License 2.0
•4•2•5•0•Updated Oct 13, 2025Oct 13, 2025
cv-launcher
Public
Continuous Verification Launcher
Python
•
Apache License 2.0
•0•0•2•0•Updated Sep 23, 2025Sep 23, 2025
sarek_trio
Public
Nextflow
•
MIT License
•0•0•0•0•Updated Sep 19, 2025Sep 19, 2025
dedockerfiles
Public
Collection of dockerfiles for dedoc group projects
Dockerfile
•1•2•0•0•Updated Sep 11, 2025Sep 11, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Ivannikov Institute for System Programming of the Russian Academy of Sciences

All

All

123 repositories

lingvodoc

natch-specs

GNN-AID

oss-sydr-fuzz

lingvodoc-react

wibe

deepvariant_alternative_models

dedoc

Futag

web-scraper-chrome-extension

natch

scrapy-puppeteer-service

casr

bioinformatics_pipeline_benchmarking

I3S

crusher

sv-tests

hdl-benchmarks

FedXplore

unicornafl

qiling

angr

qdt

cv-visualizer

mammography-pipeline

minimap2_index_modifier

cv

cv-launcher

sarek_trio

dedockerfiles

All

All

Repositories list

123 repositories