André Dal Bosco

dbsc

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions1Distinct extension identifiers across registries

Marketplace installs535Total from all extensions

Open VSX downloads—No active listings observed

Extensions

VS Marketplace Sync: Nov 6, 2026, 22:30 UTC

Extensions under dbsc. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
Extension	VS Marketplace	Open VSX
lean4forkdbsc.lean4fork	Installs 535+0.9% · 7d Rating — Category rank >1,000 · Programming Languages Latest v0.0.111 · Sep 25, 2023	Not listed