mudras / microsoft / WSL2-Linux-Kernel

microsoft/WSL2-Linux-Kernel

10244 stars · 2 scans · Last scanned 2026-04-11 06:07:24

7.82Crossing #
6.97Unknotting
425Findings
0%Merge Rate

Knot Census

Trefoils 159 Dead Code 84 High Unknot 12 No Default 3 Swallowed 2

Severity

425 findings
Errors: 5Warnings: 171Hints: 84

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.