Top AI Repos — open-source AI, indexed and scored
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Property-based testing for web and terminal UIs
| Date | Stars |
|---|---|
| 2026-07-24 | 1363 |
| 2026-07-25 | 1368 |
| 2026-07-28 | 1368 |
| 2026-07-30 | 1368 |
| 2026-08-06 | 1368 |
Today
— stars today
This week
— stars this week
This month
— stars this month
Momentum
0.0
growth rate 0.00%/day
# Bombadil Property-based testing for web and terminal UIs, autonomously exploring and validating correctness properties, *finding harder bugs earlier*. Runs in your local developer environment, in CI, and inside Antithesis. > [!NOTE] > Bombadil is new and experimental. API might still change while we're > on `0.x` versions. That said, it helps real users find real bugs, so > why not give it a try! ## Documentation Learn all about Bombadil with the following resources: * [The Bombadil Manual](https://antithesishq.github.io/bombadil/) * [Installation](https://antithesishq.github.io/bombadil/browser/2-getting-started.html#installation) * [Examples](https://antithesishq.github.io/bombadil/browser/3-specification-language.html#examples) > [!NOTE] > The Bombadil Manual is available for different drivers, i.e. > *browser* and *terminal*, and you can switch between the flavors in the > navigation sidebar. Or, if you want to hack on it, see [Contributing](docs/development/contributing.md). <hr> <img alt="Tom Bombadil" src="docs/development/tom.png" width=360 /> > Old Tom Bombadil is a merry fellow,<br> > Bright blue his jacket is, and his boots are yellow.<br> > Bugs have never fooled him yet, for Tom, he is the Master:<br> > His specs are stronger specs, and his fuzzer is faster. Built by [Antithesis](https://antithesis.com).
Excerpt of 1,356 characters
Read on GitHub
333
6
3
3
2
1
1
1
1
1
1
1
Would you bet a product on this? Bounded 0–100 and slow moving.
matched fp:2c70803e30a012ef, topic:testing
matched fp:2c70803e30a012ef, topic:playwright