1 repository
Awesome GitHub RepositoriesModel Shape Annotation Porting
Tools that automate porting runtime shape metadata to static type annotations for deep learning models.
Distinguishing note: No candidate in the shortlist deals with static shape annotation porting; closest are geometric shape tags.
Explore 1 awesome GitHub repository matching artificial intelligence & ml · Model Shape Annotation Porting. Refine with filters or upvote what's useful.
Awesome Model Shape Annotation Porting GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- facebook/pyrefly
facebook/pyrefly
5,390Vezi pe 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
Automates porting of tensor shape annotations for compile-time shape safety.
Rustcode-qualitycontributions-welcomegood-first-issue
