Projects

Everything TypedDuck ships, with links to its documentation and source.

• Rigor

  Active

  A Ruby static analyzer focused on useful, flow-sensitive type feedback — with no type annotations required in source.

  Documentation GitHub

• chibirigor

  Active

  A from-scratch online book that builds a tiny type checker step by step — the gentle path into Rigor’s ideas.

  Read GitHub

Rigor

Rigor runs rigor check over ordinary Ruby and reports real bugs — undefined methods on typed receivers, wrong argument counts, provable nil dereferences — with no type annotations required in source. Every type is inferred from the values your code actually produces.

• Documentation: rigor.typedduck.fail
• Source: github.com/rigortype/rigor

chibirigor

chibirigor is an online book that builds a tiny type checker from scratch, one step at a time. It’s the gentle on-ramp to the ideas behind Rigor — useful even if you never run Rigor itself.

• Read it: rigor.typedduck.fail/chibirigor
• Source: github.com/rigortype/chibirigor