Ruby static type checker – proof of concept

In plain words

Ruby static type checker is a proof-of-concept tool that adds static type checking capabilities to Ruby, a dynamically typed programming language. It is designed for Ruby developers who want to catch type-related errors before runtime. The tool stands out by bringing compile-time type validation to Ruby's flexible syntax, allowing developers to optionally define and verify types in their code while maintaining Ruby's dynamic nature.

written from the facts on this page · September 2026

• 
  PBT – A property-based testing library for Ruby2024 · github.com · ▲196

  Hello HN, I introduce a property-based testing tool for Ruby. Ruby's ease of test-writing and rich ecosystem are widely acclaimed. However, property-based testing is not as widely used as in other languages such as Haskell or Elixir, and I think this is because there is no de facto testing tool. This gem currently not only has the basic functionality of stateless property-based testing but also has the following features: - Support verbose mode that allows you to see its shrinking procedure and algorithms. - Support several concurrency/parallel executions of each test. As of now,…

• 
  Ezno, a TypeScript checker written in Rust, is now open source2023 · github.com · ▲113

  Open sourcing Ezno's checker and trying out / previewing the JavaScript type checker today

• 
  A utility for running exhaustiveness checks on “sum types” in Go2017 · github.com · ▲75

  A simple utility for running exhaustiveness checks on Go "sum types." - BurntSushi/go-sumtype

• 
  Ezno, a type checker for JavaScript and optimiser for React2022 · kaleidawave.github.io · ▲175

  Introducing Ezno and the current state of the project.

• 
  Flow2014 · ▲74

  Static type checker to find errors in JavaScript programs

• 
  Automated algorithm translation for Python, C++, C#, JS2016 · github.com · ▲142

  transpile algorithms/libs to idiomatic JS, Go, C#, Ruby - GitHub - pseudo-lang/pseudo: transpile algorithms/libs to idiomatic JS, Go, C#, Ruby

• 
  /dev/null▲472

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• 
  Coda▲1,647

  It's a new day for docs

  Work · 2017 · coda.io

• 
  Station▲1,377

  One app to rule them all

  Work · 2017 · stationhq.com

• 
  New Google Calendar▲1,041

  Google is launching a new look + new features for Calendar

  Work · 2017 · support.google.com

• 
  InVision Studio▲999

  The world’s most powerful screen design tool

  Work · 2017 · miro.com

• 
  Slite▲876

  One combined workspace. All of your team documentation.

  Work · 2017 · slite.com

• 
  Stripe Elements▲817

  Beautiful, smart checkout flows 💳💸

  Commerce · 2017 · stripe.com