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
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- facebook/pyrefly
facebook/pyrefly
5,390在 GitHub 上查看Pyrefly 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
