1 مستودع
Awesome GitHub RepositoriesStatic Shape Validators
Compile-time validation that checks tensor shape transformations using symbolic arithmetic and operator rules.
Distinct from Dynamic Tensor Shapes: Distinct from Dynamic Tensor Shapes: focuses on compile-time validation of shape consistency rather than runtime dimension modification.
Explore 1 awesome GitHub repository matching artificial intelligence & ml · Static Shape Validators. Refine with filters or upvote what's useful.
Awesome Static Shape Validators GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- facebook/pyrefly
facebook/pyrefly
5,390عرض على GitHubPyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress exi
Validates tensor shape consistency at compile time using symbolic arithmetic and shape rules for operations.
Rustcode-qualitycontributions-welcomegood-first-issue
