Back to browse
GitHub Repository

A gradually typed Ruby subset compiler with Hindley-Milner type inference, dual LLVM/JVM backends, and seamless Java interop.

7 starsRuby

Konpeito – A gradually typed Ruby compiler with LLVM/JVM backends

by i2y·Feb 17, 2026·1 point·0 comments

AI Analysis

●●SolidWizardryBig Brain

Crystal-like typing for Ruby with fallback to dynamic dispatch—genuine compiler, still early.

Strengths
  • Hindley-Milner inference eliminates annotation burden for most code, matching Crystal's UX
  • Dual backends (LLVM + JVM) with seamless Java interop solve real deployment friction
  • Gradual typing philosophy is correct: static where possible, dynamic where necessary, compiler shows boundaries
Weaknesses
  • Requires Ruby 4.0+ (not widely available yet) and either LLVM 20 or Java 21 setup overhead
  • Only 2 stars, no public benchmarks or real-world projects—unclear if performance gains justify compile-time overhead
Target Audience

Ruby developers seeking type safety and performance without full rewrite, systems programmers

Similar To

Crystal · GraalVM · Sorbet

Similar Projects