Skip to content

(=^•^ωᴗ•^^=)holt home

Check a repo How it works Pricing

try an example sign in

Check a repo How it works Pricing try an example

Loading…

Holt

Reads a project's public pull request history on GitHub. It never posts, comments or contacts anyone.

Open source, Apache-2.0

Find a project
Browse projects
How it works

Badge for maintainers
Pricing
Source on GitHub

Terms
Privacy
Refunds
Contact
Team

Loading the report…

Loading starter issues…

tlaplus/tlaplus: Worth your time? · Holt

tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

3.1k stars270forks207issuespushed 6 hours ago

tlapl.us ↗github.com/tlaplus/tlaplus ↗

Share on WhatsApp (opens in a new tab)Share on X (opens in a new tab)Share on LinkedIn (opens in a new tab)

Worth your time

rules report

(=^˘ᴗ˘^=)

Outside contributors get real replies here, and their work gets merged.

9 of 21outside PRs merged (43%)

checked 3 hours ago

Starter issues

README

Where newcomer work lands

The evidence

sign in to see the full report →