1 个仓库
Awesome GitHub RepositoriesRuby Type Checkers
Static analysis tools designed to verify type consistency and safety in Ruby codebases.
Distinct from Static Type Checking: Distinct from general static type checking: focuses specifically on the Ruby language ecosystem and its type annotation standards.
Explore 1 awesome GitHub repository matching software engineering & architecture · Ruby Type Checkers. Refine with filters or upvote what's useful.
Awesome Ruby Type Checkers GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- sorbet/sorbet
sorbet/sorbet
3,790在 GitHub 上查看Sorbet is a static analysis tool and type checker designed for Ruby codebases. It identifies type inconsistencies, potential bugs, and logic errors by examining source code without execution, helping to improve software reliability and maintainability in large-scale projects. The system employs a constraint-based type inference engine that evaluates expressions against defined annotations to validate data structures. To support rapid development, it utilizes incremental analysis and caching to provide feedback by processing only modified files and their dependencies. Beyond static analysis,
Provides a static type checker that identifies type inconsistencies and enforces safety rules in Ruby codebases.
Ruby
