specula-org/Specula

Specula: A framework for finding deep bugs in system code using TLA+

TLA171 stars22 forksApache-2.0

Rankings

Daily

#5262

Weekly

#9559

Monthly

#13152

Engagement

Total stars

Daily new stars

Get badge

Add a Trending Repos badge to your README

This repository is tracked by Trending Repos. The badge upgrades automatically the moment it cracks the top 100 — set it once and forget it.

Markdown — paste into your README

[![Trending Repos](https://trending-repos.com/badge/specula-org/Specula.svg)](https://trending-repos.com/repositories/specula-org/Specula)

HTML

<a href="https://trending-repos.com/repositories/specula-org/Specula"><img src="https://trending-repos.com/badge/specula-org/Specula.svg" alt="Trending Repos" /></a>

Raw image URL

https://trending-repos.com/badge/specula-org/Specula.svg

Back to trending