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…

UniMath/agda-unimath: Worth your time? · Holt

UniMath/agda-unimath

The agda-unimath library

314 stars103forks148issuespushed 8 hours ago

unimath.github.io/agda-unimath ↗github.com/UniMath/agda-unimath ↗

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.

3 of 4outside PRs merged (75%)

checked 2 hours ago

Starter issues

README

Where newcomer work lands

The evidence

sign in to see the full report →