IDE tools for code completion, inline documentation, and static analysis

Gradual Typing for Ruby

TypeProf performs a type analysis of non-annotated Ruby code. It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0. This tool is planned to be bundled with Ruby 3.0.

A RBS files generator for Rails application

Generate Sorbet RBI files from YARD documentation

Compact Language Detector v3 (CLD3) is a neural network model for language identification.

IRB with Typed Completion

Syntax Tree support for RBS

An SDK for implementing Temporal.io workflows and activities in Ruby

Build RBS by Rack base architecture

Generate RBS files from .proto files

Client and relay implementation of the Nostr protocol.

A RubyGem that converts Ruby RBS to TypeScript definitions.

Inline RBS type declaration.

Generate RBS type definitions from JSON Schema

Type based completion for REPL.

Language server for Ruby.

A set of tools for building reliable services of any complexity

Symbiont is a cool implementation of proc-objects execution algorithm: in the context of other object, but with the preservation of the closed environment of the proc object and with the ability of control the method dispatch inside it. A proc object is executed in three contexts: in the context of required object, in the context of a closed proc's environment and in the global (Kernel) context.

All the flexibility of a Ruby Struct, but with type checking on its properties. Also benefit from being able to define complex types using RBS type notation.