1 repositorio
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
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- sorbet/sorbet
sorbet/sorbet
3,790Ver en GitHubSorbet 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
