LinkedIn Tag
Aankomend Webinar: Q&A met een QSA - PCI DSS 6.4.3 & 11.6.1 (cside x MegaplanIT)

lean-lang.org

Sep 5th 2025 04:30 PM

Squarespace Domains II LLC

signedDelegation

Ja

Jul 17th 2025 08:10 PM

Lean-lang.org is a domain that appears to be related to the Lean programming language, a statically typed, functional programming language. It's been registered since 2023 and is managed by Squarespace Domains II LLC. The domain's nameservers are managed by Google Domains. The scripts analysis shows that the domain is using the Tippy.js library for creating customizable tooltips and popovers, which is a popular JavaScript library for creating interactive UI components. The library is designed to be highly customizable and provides a set of options and plugins to easily integrate it with other tools and frameworks.

Kopieer samenvatting
Kopieer link
Nuttig
Niet nuttig
WHOIS-informatie
Registrar Squarespace Domains II LLC
Registratie: September 5th, 2023
Verloopt: September 5th, 2025
Bijgewerkt: July 17th, 2025
Nameservers
ns-cloud-c1.googledomains.com. 216.239.32.108
ns-cloud-c2.googledomains.com. 216.239.34.108
ns-cloud-c3.googledomains.com. 216.239.36.108
ns-cloud-c4.googledomains.com. 216.239.38.108
Meta-tags
viewport
width=device-width, initial-scale=1.0
SSL-certificaat
Status:

Uitgeschakeld

Verloopt: May 29th, 2025
Uitgever: Let's Encrypt
DNS-records
Hostnaam Type TTL Prioriteit Inhoud
lean-lang.org A 14400
75.2.60.5
lean-lang.org NS 21600
ns-cloud-c1.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c2.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c3.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c4.googledomains.com.
lean-lang.org TXT 14400
"google-site-verification=UPc_mfR36G5fZcboR-PAE7cqEZo-UN-42mAtGaMk-V4"
lean-lang.org SOA 21600
ns-cloud-c1.googledomains.com. cloud-dns-hostmaster.google.com. 12 21600 3600 259200 300
Boek een demo