PBT – A property-based testing library for Ruby
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,…
PBT – A property-based testing library for Ruby launched on May 22, 2024 with 196 votes, #264 of 4,539 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 2 years on.
In plain words
PBT is a property-based testing library for Ruby that generates test cases automatically to find edge cases and failures. It includes stateless property testing with a verbose mode to observe shrinking procedures and supports concurrent or parallel test execution via Ractor, Thread, or Process. Designed for Ruby developers seeking property-based testing tools comparable to those available in languages like Haskell and Elixir.
written from the facts on this page · September 2026
From the sources
Property-Based Testing tool for Ruby that supports concurrency with Ractor. - ohbarye/pbt
In the maker’s words, at launch
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…
Does a similar job
all alternatives →
Ruby static type checker – proof of concept2017 · github.com · ▲115⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
- MBMonocle – bidirectional code generation library2022 · ▲148
I just published a bidirectional code generation library. Afaik it's the first of its kind, and it opens up a lot of possibilities for cool new types of dev tools. The PoC is for ruby, but the concept is very portable. https://blog.luitjes.it/posts/monocle-bidirectional-code-gen...
Program Synthesis for Ruby2022 · github.com · ▲82Program synthesis for Ruby. Contribute to ku-progsys/rbsyn development by creating an account on GitHub.
- RMResult monad for Elixir inspired by Rust Result type2021 · hexdocs.pm · ▲39
- CRCrashBreak – Reproduce exceptions as failing tests in Ruby2015 · crashbreak.com · ▲37
FizzBee – Formal methods in Python2024 · fizzbee.io · ▲119GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built. Recently, every major cloud vendor like AWS, Azure, Mongo DB, confluent, elastic and so on use formal methods to validate their design like the replication algorithm or various protocols doesn't have a design bug. I used TLA+ for billing and usage based metering applications. However, the current formal methods solutions like TLA+, Alloy or P and so on are incredibly complex to…
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi 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 · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 29d ago · corespeed.io
Source: Show HN post ↗ · launch text quoted in part
