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…

angr/angr-management: Worth your time? · Holt

angr/angr-management

The official angr GUI.

1.2k stars132forks232issuespushed 8 hours ago

docs.angr.io/projects/angr-management/en/latest ↗github.com/angr/angr-management ↗

Merge plancoming soon

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.

64 of 70outside PRs merged (91%)

checked 2 hours ago

Starter issues

README

Where newcomer work lands

The evidence

sign in to see the full report →