Alternatives

Products that do what Ruby static type checker – proof of concept does

1AJ
A JavaScript interpreter written in Ruby▲75
2012 · github.com
2CA
Cannoli – A compiler for a subset of Python written in Rust▲292
2018 · github.com
3TS
"type safety" for Ruby 2.1.0▲6
2013 · github.com
4OA
Omniref - a better search site for Ruby documentation▲110
2013 · omniref.com
5BR
BestRuby – Ruby Tricks, Idioms, Refactorings and Best Practices▲92
2015 · best-ruby.com
6AP
A Python with Hindley-Milner-like type annotations, compiling to C▲134
2015 · github.com
7KA
Koda, a typesafe functional toolkit for Python▲110
2022 · pypi.org
8MA
Mys – an attempt to create a statically typed Python-like language▲50
2020 · github.com
9VP
VeryAnts: Probabilistic Integer Arithmetic for Ruby▲45
2016 · github.com
10PR
pry-rescue — workflow-optimized debugging for ruby▲69
2012 · cirw.in
11ST
Sum Types for Ruby▲7
2021 · github.com
12RL
Rust-Like Traits in Python▲50
2021 · github.com
13AD
Anomaly Detection in Ruby▲24
2020 · github.com
14KP
Kiba Pro v2 – Commercial Ruby Extensions to Kiba ETL▲55
2020 · thibautbarrere.com
15RA
Rbkit – a low-pause profiler for ruby▲67
2015 · rbkit.codemancers.com
16RA
RubyProctor, a website for developing Rubocop rules▲18
2017 · rubyproctor.com
17CC
Clean Code concepts adapted for Ruby▲8
2018 · github.com
18AB
A Brainfuck to C transcompiler in Ruby▲7
2015 · github.com
19WA
WitBot – A Ruby Client for wit.ai▲23
2016 · github.com
20RB
Rust built open-sourced CLI tool for API specification validation▲23
2022 · github.com
21KA
Kiba, a lightweight Ruby ETL framework▲19
2015 · kiba-etl.org
22AE
An experimental Python to C#/Go/Ruby/JS transpiler▲14
2016 · github.com
23SB
Step-by-step feature flag implementation in Ruby▲8
2020 · blog.optimizely.com
24LR
Lightweight runtime types for vanilla JavaScript▲19
2020 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →