Repositories list

• lingvodoc

  Public
  More advanced Python version for Dialeqt project

  JavaScript

  •

  Apache License 2.0

  •14•8•10•2•Updated Feb 27, 2025Feb 27, 2025

• GNN-AID

  Public
  Python

  •

  Apache License 2.0

  •4•7•0•1•Updated Feb 26, 2025Feb 26, 2025

• lingvodoc-react

  Public
  JavaScript

  •

  Apache License 2.0

  •12•8•145•0•Updated Feb 26, 2025Feb 26, 2025

• oss-sydr-fuzz

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

  dsesymbolic-executionsymbolic+ 13fuzz-testingvulnerabilitiesstabilitylibfuzzerdynamic-symbolic-executionconcolic-executionconcolic+ 6

  C

  •

  Apache License 2.0

  •32•137•1•1•Updated Feb 26, 2025Feb 26, 2025

• utopia-hls

  Public
  Utopia: a High-Level Synthesis framework

  C++

  •

  Apache License 2.0

  •2•9•9•1•Updated Feb 25, 2025Feb 25, 2025

• natch

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

  Shell

  •9•23•0•0•Updated Feb 25, 2025Feb 25, 2025

• casr

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

  testingrustsecurity+ 17crash-reportingsdlgdbcrashfuzzingdynamic-analysisafl+ 10

  Rust

  •

  Apache License 2.0

  •29•304•1•2•Updated Feb 24, 2025Feb 24, 2025

• parmasan

  Public
  Mirror repository with parmasan project

  C++

  •

  MIT License

  •2•6•0•0•Updated Feb 21, 2025Feb 21, 2025

• Futag

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

  code-generatorstatic-analysiscrash+ 4automated-testingaddresssanitizerllvmfuzzing

  Python

  •

  GNU General Public License v3.0

  •10•51•11•0•Updated Feb 20, 2025Feb 20, 2025

• web-scraper-chrome-extension

  Public
  Web data extraction tool implemented as chrome extension

  javascriptscrapingwebscraping+ 1scraping-tool

  JavaScript

  •

  GNU Lesser General Public License v3.0

  •69•238•12•2•Updated Feb 15, 2025Feb 15, 2025

• 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 meta information from textual electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser

  htmlpdfocr+ 15table-of-contentsexcelhtml-parserdocxdocumentsdocscanned-documents+ 8

  Python

  •

  Apache License 2.0

  •24•214•4•0•Updated Feb 14, 2025Feb 14, 2025

• EcgLib

  Public
  Python

  •

  Apache License 2.0

  •4•19•2•1•Updated Feb 10, 2025Feb 10, 2025

• scrapy-puppeteer

  Public
  Library that helps use puppeteer in scrapy.

  scrapymiddlewarespider+ 1scrapy-puppeteer

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •4•52•0•3•Updated Jan 30, 2025Jan 30, 2025

• scrapy-puppeteer-service

  Public
  A special service that runs puppeteer instances.

  selectorscrapypuppeteer

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •5•14•0•1•Updated Jan 30, 2025Jan 30, 2025

• I3S

  Public
  Python

  •

  Other

  •3•2•0•0•Updated Jan 27, 2025Jan 27, 2025

• news-page-dataset

  Public
  1•4•0•0•Updated Jan 10, 2025Jan 10, 2025

• sv-tests

  Public
  Test suites on Verilog and SystemVerilog standards

  Verilog

  •1•5•2•0•Updated Jan 9, 2025Jan 9, 2025

• crusher

  Public
  dsestatic-analysissymbolic-execution+ 9symbolicfuzzingbinary-analysisdynamic-symbolic-executionconcolic-executionconcoliccoverage-guided-fuzzing+ 2

  Python

  •

  MIT License

  •15•40•0•1•Updated Dec 18, 2024Dec 18, 2024

• minimap2_index_modifier

  Public
  C

  •

  Other

  •1•5•0•0•Updated Dec 12, 2024Dec 12, 2024

• hdl-benchmarks

  Public
  Collection of digital hardware modules & projects (benchmarks)

  Verilog

  •

  Other

  •10•42•1•0•Updated Nov 14, 2024Nov 14, 2024

• PTAHA

  Public
  Patent Timesaving Automatic Helpful Apparatus

  R

  •

  Apache License 2.0

  •1•2•0•0•Updated Oct 31, 2024Oct 31, 2024

• cotea

  Public
  cotea: Ansible control tool

  Python

  •

  Apache License 2.0

  •2•15•0•0•Updated Oct 30, 2024Oct 30, 2024

• angr

  Public
  A powerful and user-friendly binary analysis platform!

  Python

  •

  BSD 2-Clause "Simplified" License

  •1.1k•0•0•0•Updated Oct 7, 2024Oct 7, 2024

• mammo_crop

  Public
  Jupyter Notebook

  •

  Other

  •1•2•0•0•Updated Sep 30, 2024Sep 30, 2024

• dedoc-utils

  Public
  Useful utilities for automatic document images processing

  Python

  •

  Apache License 2.0

  •2•7•0•0•Updated Sep 5, 2024Sep 5, 2024

• fir-tests

  Public
  Test suites on FIRRTL specifications

  FIRRTL

  •1•2•1•0•Updated Aug 23, 2024Aug 23, 2024

• qiling

  Public
  Qiling Advanced Binary Emulation Framework

  Python

  •

  GNU General Public License v2.0

  •736•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• cv

  Public
  Klever Continuous Verification Framework

  Python

  •

  Apache License 2.0

  •4•2•12•0•Updated Jul 10, 2024Jul 10, 2024

• qdt

  Public
  QEMU Development Toolkit

  Python

  •

  Other

  •10•41•10•3•Updated Jul 8, 2024Jul 8, 2024

• OpenABC

  Public
  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.

  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •21•2•0•0•Updated Jun 25, 2024Jun 25, 2024