mudras / google / diff-match-patch

google/diff-match-patch

8112 stars · 3 scans · Last scanned 2026-05-16 10:02:15

30.18Crossing #
17.58Unknotting
650Findings
0%Merge Rate

Knot Census

Trefoils 220 Dead Code 104 No Default 15 High Unknot 13

Severity

650 findings
Errors: 15Warnings: 233Hints: 104

Accuracy

85% confidence
0 TP · 0 FP
File-level complexity, hotspot map, and coupling graph available with Pro ($199/mo) or a repo report ($49). Backed by 6,544 mechanized Lean 4 theorems.