Realurls

Typelevel

Also known as cats, typelevel/cats. GitHub typelevel.

Official domains: typelevel.org

Identity anchored by github-history:typelevel/cats(age=11y,contrib=575,stars=5463). Display name from github_org_display_name(self-declared).

typelevel.org verified primary · confidence 0.83 · verified 2026-09-06

correlated anchors merged: A8 not independent of the kept one, counted once · 1 independent anchor(s) + 2 independent corroboration(s): meets the verified threshold

EvidenceWhat it shows
A1 anchor GitHub verified this organization's domain (DNS-level check performed by GitHub)
org=typelevel org_verified=true blog=http://typelevel.org
 source
A8 anchor Anchored repository's homepage points here, and this site links back
repo=typelevel/cats org=typelevel repo_anchored=true homepage=https://typelevel.org/cats/ backlink=true stars=5463 age_days=4238 contributors=575
 source
A3 not counted Corporate registrar fingerprint (brand-protection registrar, long prepaid term, registry locks)
registrar=Cloudflare, Inc. created=2012-01-20 expires=2027-01-20 remaining_days=136 locks=["transfer"]
 source
A4 not counted TLS certificate carries the organization name (OV/EV)
subject_org= validation_type=DV issuer=Google Trust Services san_count=2
 TLS handshake typelevel.org:443
B5 corroboration Tranco top-1M ranking
rank=575687 source=top-1m list
 source
B4 corroboration Wayback Machine history
first_snapshot=2013-03-22 history_days=4916
 source
2 piece(s) of evidence not counted — why
  • A3: registrar (Cloudflare, Inc.) is not a brand-protection registrar
  • A4: DV certificate carries no organization name (most modern tech companies use DV; this is expected)
Reproduce this yourself
# A1 — GitHub verified this org's domain
curl -s https://api.github.com/orgs/typelevel | jq '{name, blog, is_verified}'

# A8 — anchored repo's homepage
curl -s https://api.github.com/repos/typelevel/cats | jq '{homepage, created_at, stargazers_count}'

# A3 — registrar / dates / locks
curl -sL https://rdap.org/domain/typelevel.org | jq '{status, events, registrar: [.entities[]|select(.roles[]=="registrar")|.vcardArray[1][1][3]]}'

# B5 — Tranco rank
curl -s https://tranco-list.eu/api/ranks/domain/typelevel.org

# B4 — first Wayback snapshot
curl -s "http://web.archive.org/cdx/search/cdx?url=typelevel.org&limit=1&output=json"

# Re-run the whole pipeline for this domain
git clone https://github.com/zhouchungong/realurls-registry && cd realurls-registry && pip install -e . && python -m src.verify typelevel.org

Think this is wrong? Open a dispute — the burden of proof is on us, and the record is downgraded while we check. Source record: YAML.