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…

polarity-lang/polarity: Worth your time? · Holt

polarity-lang/polarity

A language with dependent data and codata types

140 stars10forks31issuespushed 18 days ago

polarity-lang.github.io ↗github.com/polarity-lang/polarity ↗

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

Not enough evidence

rules report

(=^•ω•^=)

Only 1 pull request from an outside contributor has had time for an answer, so there's nothing to go on yet.

1 of 1outside PRs merged (100%)

checked 2 hours ago

Starter issues

README

Where newcomer work lands

The evidence

sign in to see the full report →