Ruby · Type Signatures and Type Checking

Type Signatures and Type Checking

• sorbet/sorbet on GitHub, opens in a new tab

  3.8Kstars

  A static type checker for Ruby.

  C++·Apache License 2.0·active·3 days ago

• ruby/rbs on GitHub, opens in a new tab

  2.2Kstars

  The official language for describing the structure of Ruby programs. Ships with Ruby and powers type checkers like Steep.

  Ruby·Other·active·4 days ago

• soutaro/steep on GitHub, opens in a new tab

  1.5Kstars

  A gradual type checker for Ruby using RBS type signatures.

  Ruby·MIT License·active·4 days ago

• dry-rb/dry-types on GitHub, opens in a new tab

  897stars

  A simple and extendable type system for Ruby with constraints, coercion, and default values.

  Ruby·MIT License·steady·4 months ago

• Shopify/tapioca on GitHub, opens in a new tab

  867stars

  The swiss army knife of RBI generation for Sorbet, generating type definitions for gems, DSLs, and more.

  Ruby·MIT License·active·6 days ago

• ruby/typeprof on GitHub, opens in a new tab

  831stars

  A type analysis tool for Ruby that generates RBS type signatures from code.

  Ruby·MIT License·active·5 days ago

• soutaro/rbs-inline on GitHub, opens in a new tab

  355stars

  Write RBS type signatures inline in Ruby source code as comments.

  Ruby·MIT License·active·2 months ago

• yippee-fun/literal on GitHub, opens in a new tab

  340stars

  Runtime type checking for Ruby with typed properties, structs, data, and enums.

  Ruby·MIT License·active·6 days ago

• AaronC81/sord on GitHub, opens in a new tab

  336stars

  Generate RBS and RBI type signatures from YARD documentation.

  Ruby·MIT License·slowing·last year

• Shopify/spoom on GitHub, opens in a new tab

  271stars

  A toolset for using Sorbet in Ruby projects, including strictness management, dead code detection, and more.

  Ruby·MIT License·active·4 days ago