GitHub repository: typedruby/typedruby
Primary language: Rust
Description: Gradual static typing for Ruby