Skip to content

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

Check a repo Find a project How it works Pricing

try an example sign in

Check a repo Find a project How it works Pricing try an example

Loading…

git commit --to-the-right-repo

product

Find a project
Browse projects
How it works
badge for maintainers
pricing

open source

holt-oss/holt
contributing
the CLI
Apache-2.0

legal

terms
privacy
refunds
contact
team

Loading the report…

free reportAI report ✦

Loading starter issues…

FStarLang/FStar: Worth your time? · Holt

FStarLang/FStarA Proof-oriented Programming Language

A Proof-oriented Programming Language

3.1k stars266forks529issuespushed 5 hours agoprogramming-languageverificationdependent-types

licence Apache-2.0since 2014branch masterfstar-lang.org ↗github.com/FStarLang/FStar ↗

free report AI report ✦

verdict · rules report(=^˘ᴗ˘^=)

Worth your time.

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

8 of 14outside PRs merged (57%)

checked 4 hours ago

01Starter issues

02What happened to outsiders

03Where newcomer work lands

04The evidence

sign in to see the full report →