Sign in

Repository Index

55,140 visible repositories in the index

Tags: Static analysis
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–6 of 6 · Most stars

Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.