ikretz

Pinned Repositories

• guarddog

  :snake: :mag: GuardDog is a CLI tool to Identify malicious PyPI and npm packages

  Language:Python6431814943

• malicious-software-packages-dataset

  An open-source dataset of malicious software packages found in the wild, 100% vetted by humans.

  Language:Python1678320

• supply-chain-firewall

  A tool for preventing the installation of malicious PyPI and npm packages :fire:

  Language:Python1025

• semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.9k1043k639

• Coda

  Language:Coq461215

ikretz's Repositories