1 dépôt
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
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- facebook/pyrefly
facebook/pyrefly
5,390Voir sur 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
