Repository History

Explore all analyzed open source repositories

Topic: OCaml
Pyre-check: Performant Type-Checking and Static Analysis for Python

Pyre-check: Performant Type-Checking and Static Analysis for Python

Pyre-check is a high-performance type checker for Python, compliant with PEP 484, designed for incremental analysis of large codebases. It features Pysa, a security-focused static analysis tool for identifying data flow issues in Python applications, enhancing code quality and security.

Nov 16, 2025
View Details
Opengrep: Static Code Analysis for Security Vulnerabilities

Opengrep: Static Code Analysis for Security Vulnerabilities

Opengrep is an open-source static code analysis engine, forked from Semgrep, designed to identify security issues in code rapidly. It offers powerful semantic grep capabilities across over 30 programming languages, making secure software development more accessible and vendor-neutral. Driven by a collective of AppSec organizations, Opengrep is committed to advancing SAST and keeping it open for the long term.

Nov 3, 2025
View Details
Page 1