dafny.org Dafny.org

   
Dafny

Domain Summary

What percent of global Internet users visit Dafny.org?

• 6.8E-6% of global Internet users visit Dafny.org

How many people visit Dafny.org each day?

• Dafny.org receives approximately 337 visitors and 1,462 page impressions per day.

Which countries does Dafny.org receive most of its visitors from?

• Dafny.org is mostly visited by people located in United States,Hong Kong,India.

How much Dafny.org can earn?

• Dafny.org should earn about $5.49/day from advertising revenue.

What is Dafny.org estimated value?

• Estimated value of Dafny.org is $5,479.97.

What IP addresses does Dafny.org resolve to?

• Dafny.org resolves to the IP addresses 2606:50c0:8003::153, 185.199.111.153.

Where are Dafny.org servers located in?

• Dafny.org has servers located in California, United States.

dafny.org Profile

Title:Dafny Description:The Dafny Programming and Verification Language and tools.
Category:Computers Electronics and Technology / Programming and Developer Software
Edit Site Info

What technologies does dafny.org use?

These are the technologies used at dafny.org. dafny.org has a total of 4 technologies installed in 4 different categories.
CDN
Fastly Fastly
PaaS
GitHub Pages GitHub Pages
Miscellaneous
Open Graph Open Graph
Caching
Varnish Varnish

dafny.org Traffic Analysis

This website is viewed by an estimated 337 visitors daily, generating a total of 1.5K pageviews. This equates to about 10.2K monthly visitors. Dafny.org traffic has decreased by 55.14% compared to last month.
Daily Visitors337
42.06%
Monthly Visits10.2K
55.14%
Pages per Visit4.34
24.7%
Visit duration01:09
49.41%
Bounce Rate45.46%
37.63%
Is this your site?Verify your site's metrics.
Daily Unique Visitors:
337
Monthly Visits:
10,211
Pages per Visit:
4.34
Daily Pageviews:
1,462
Avg. visit duration:
01:09
Bounce rate:
45.46%
Global Reach:
6.8E-6%
Monthly Visits (SEMrush):
4,015
Monthly Unique Visitors (SEMrush):
1,354
Monthly Visits (SimilarWeb):
10,220
HypeRank:
n/a
SEMrush Rank:
2,687,278
SimilarWeb Rank:
1,692,490
*All traffic values are estimates only.

Traffic sources

Direct:
3.29%
Referral:
0%
Search:
93.50%
Social:
3.21%
Paid:
0%

Desktop vs Mobile

Desktop:
100.00%
Mobile:
0%

Total Visits Last 3 Months

12.1K
JAN
22.8K
FEB
10.2K
MAR

Visitors by country

Country
Users%
 
United States 60.90%
 
Hong Kong 14.29%
 
India 8.11%
 
Australia 7.44%
 
Netherlands 5.19%

Which sites are competitors to dafny.org?

Websites similar to dafny.org are sites similar on user interests and browsing behavior. Users can discover new websites that are similar to the ones they already enjoy or find useful.
Last update was 51 days ago
     
This can take up to 60 seconds. Please wait...

*HypeStat.com is not promoting or affiliated with dafny.org in any way. Only publicly available statistics data are displayed.

  ▼

SEMrush is a complete on line advertising and marketing platform that gives a extensive variety of gear and functions to help companies and entrepreneurs in enhancing their on line visibility and optimizing their virtual advertising and marketing strategies.
SemRushSemRush
Domain:
  dafny.org
Rank:
(Rank based on keywords, cost and organic traffic)
  2,687,278
Organic Keywords:
(Number of keywords in top 20 Google SERP)
  67
Organic Traffic:
(Number of visitors coming from top 20 search results)
  189
Organic Cost:
((How much need to spend if get same number of visitors from Google Adwords)
  $8.00
Full SEMrush Report >>

Revenue report ▼

Google.com would generate approximately $5.5 per day if the source of income were advertisements, which equates to an estimated monthly revenue of $164.7 and annual gross revenue of approximately $2K. Based on these figures, the site's net worth is estimated at around $5.5K.

How much would dafny.org make?

Daily Revenue:
$5.49
Monthly Revenue:
$164.70
Yearly Revenue:
$2,003.85
*All earnings values are estimates only.

Daily earning by country

 
CountryPageviewsEarning
 
United States 890$4.30
 
Australia 109$0.52
 
Hong Kong 209$0.23
 
Netherlands 76$0.14
 
India 119$0.05

Loss of money due to Adblock?

Daily Revenue Loss:
$0.94
Monthly Revenue Loss:
$28.17
Yearly Revenue Loss:
$342.76
Daily Pageviews Blocked:
249
Monthly Pageviews Blocked:
7,469
Yearly Pageviews Blocked:
90,873

Daily revenue loss by country

 
CountryBlockedLost Money
 
United States 160$0.77
 
Australia 22$0.10
 
Netherlands 13$0.02
 
Hong Kong 21$0.02
 
India 33$0.01

How much is dafny.org worth?

Website Value:
$5.5K

Ad Experience Report ▼

Summary of the ad experience rating of a website for a specific platform.

Mobile summary

Root domain:
dafny.org
Ad filtering:
(Chrome is not filtering ads on your site.)
Off
Status:
(The status of the site that is reviewed for the Better Ads Standards.)
Not reviewed

Desktop summary

Root domain:
dafny.org
Ad filtering:
(Chrome is not filtering ads on your site.)
Off
Status:
(The status of the site that is reviewed for the Better Ads Standards.)
Not reviewed

Abusive Experience Report ▼

Summary of the abusive experience rating of a website.
Root domain:
dafny.org
Enforcement:
(Chrome is not preventing your site from opening new windows or tabs.)
Off
Status:
(The status of the site reviewed for the abusive experiences.)
Not reviewed

Where is dafny.org hosted? ▼

Dafny.org may be hosted in multiple data centers distributed in different locations around the world. This is probably just one of them.
Server IP:
2606:50c0:8003::153, 185.199.111.153
ASN:
AS54113 
ISP:
Fastly 
Server Location:
California, CA
United States, US
 

Other sites hosted on 185.199.111.153

How fast does dafny.org load? ▼

The average loading time of dafny.org is 52 ms. The Desktop speed index is 79 and mobile speed index is 96.
Average Load Time:
52 ms

Page Speed (Google PageSpeed Insights) - Desktop

79
0-49 50-89 90-100 i

Field Data

Over the last 30 days, the field data shows that this page has a FAST speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.

Cumulative Layout Shift (CLS)0ms 83% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 83% 4% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 4% 11% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 11%
Time To First Byte (TTFB)0 0% of loads for this page have a fast (<0s) Time To First Byte (TTFB) 0% 0% of loads for this page have an average (0s ~ 0s) Time To First Byte (TTFB) 0% 0% of loads for this page have a slow (>0s) Time To First Byte (TTFB) 0%
First Contentful Paint (FCP)681ms 92% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 92% 3% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 3% 3% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 3%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average (0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interaction To Next Paint (INP)32ms 97% of loads for this page have a fast (<200ms) Interaction To Next Paint (INP) 97% 1% of loads for this page have an average (200ms ~ 500ms) Interaction To Next Paint (INP) 1% 0% of loads for this page have a slow (>500ms) Interaction To Next Paint (INP) 0%
Largest Contentful Paint (LCP)682ms 95% of loads for this page have a fast (<2500ms) Largest Contentful Paint (LCP) 95% 2% of loads for this page have an average (2500ms ~ 4000ms) Largest Contentful Paint (LCP) 2% 1% of loads for this page have a slow (>4000ms) Largest Contentful Paint (LCP) 1%

Origin Data

All pages served from this origin have an FAST speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.

Cumulative Layout Shift (CLS)0ms 93% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 93% 1% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 1% 4% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 4%
Time To First Byte (TTFB)405ms 91% of loads for this page have a fast (<0.8s) Time To First Byte (TTFB) 91% 6% of loads for this page have an average (0.8s ~ 1.8s) Time To First Byte (TTFB) 6% 2% of loads for this page have a slow (>1.8s) Time To First Byte (TTFB) 2%
First Contentful Paint (FCP)654ms 95% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 95% 1% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 1% 2% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 2%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average 0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interaction To Next Paint (INP)49ms 92% of loads for this page have a fast (<200ms) Interaction To Next Paint (INP) 92% 3% of loads for this page have an average (200ms ~ 500ms) Interaction To Next Paint (INP) 3% 3% of loads for this page have a slow (>500ms) Interaction To Next Paint (INP) 3%
Largest Contentful Paint (LCP)711ms 97% of loads for this page have a fast (<2500ms) Largest Contentful Paint (LCP) 97% 1% of loads for this page have an average (2500ms ~ 4000ms) Largest Contentful Paint (LCP) 1% 0% of loads for this page have a slow (>4000ms) Largest Contentful Paint (LCP) 0%

Lab Data

INP by phase  
Start investigating with the longest phase. To reduce processing duration, , often JS. Delays can be minimized optimize the main-thread costs
Largest Contentful Paint image was not lazily loaded  
Above-the-fold images that are lazily loaded render later in the page lifecycle, which can delay the largest contentful paint. Learn more about optimal lazy loading
Speed Index 0.4 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
First Meaningful Paint  
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
Minimize third-party usage  
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Long critical network tree  
by reducing the length of chains, reducing the download size of resources, or deferring the download of unnecessary resources to improve page load. Avoid chaining critical requests
Font display  
Consider setting to swap or optional to ensure text is consistently visible. swap can be further optimized to mitigate layout shifts with . font-display font metric overrides
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Third parties  
Third party code can significantly impact load performance. to prioritize your page's content. Reduce and defer loading of third party code
Time to Interactive 0.5 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
Lazy load third-party resources with facades  
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
First Contentful Paint 0.2 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
Largest Contentful Paint 0.5 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Preload Largest Contentful Paint image  
If the LCP element is dynamically added to the page, you should preload the image in order to improve LCP. Learn more about preloading LCP elements
Forced reflow  
Many APIs, typically reading layout geometry, force the rendering engine to pause script execution in order to calculate the style and layout. Learn more about and its mitigations. forced reflow
CSS Selector costs  
If Recalculate Style costs remain high, selector optimization can reduce them. with both high elapsed time and high slow-path %. Simpler selectors, fewer selectors, a smaller DOM, and a shallower DOM will all reduce matching costs. Optimize the selectors
LCP request discovery  
Optimize LCP by making the LCP image from the HTML immediately, and discoverable avoiding lazy-loading

Page Speed (Google PageSpeed Insights) - Mobile

96
0-49 50-89 90-100 i

Field Data

Over the last 30 days, the field data shows that this page has a FAST speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.

Cumulative Layout Shift (CLS)0ms 83% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 97% 2% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 2% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)0 0% of loads for this page have a fast (<0s) Time To First Byte (TTFB) 0% 0% of loads for this page have an average (0s ~ 0s) Time To First Byte (TTFB) 0% 0% of loads for this page have a slow (>0s) Time To First Byte (TTFB) 0%
First Contentful Paint (FCP)1.1s 92% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 87% 6% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 6% 5% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 5%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average (0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interactive To Next Paint (INP)0 97% of loads for this page have a fast (<0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have an average (0s ~ 0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have a slow (>0s) Interactive To Next Paint (INP) 0%
Largest Contentful Paint (LCP)1.2s 95% of loads for this page have a fast (<2500s) Largest Contentful Paint (LCP) 95% 0% of loads for this page have an average (2500s ~ 4000s) Largest Contentful Paint (LCP) 0% 3% of loads for this page have a slow (>4000s) Largest Contentful Paint (LCP) 3%

Origin Data

All pages served from this origin have an FAST speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.

Cumulative Layout Shift (CLS)0ms 97% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 97% 2% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 2% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)0 0% of loads for this page have a fast (<0s) Time To First Byte (TTFB) 0% 0% of loads for this page have an average (0s ~ 0s) Time To First Byte (TTFB) 0% 0% of loads for this page have a slow (>0s) Time To First Byte (TTFB) 0%
First Contentful Paint (FCP)1.1s 87% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 87% 6% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 6% 5% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 5%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average 0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interactive To Next Paint (INP)0 0% of loads for this page have a fast (<0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have an average (0s ~ 0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have a slow (>0s) Interactive To Next Paint (INP) 0%
Largest Contentful Paint (LCP)1.2s 95% of loads for this page have a fast (<2.5s)Largest Contentful Paint (LCP) 95% 0% of loads for this page have an average (2.5s ~ 4s)Largest Contentful Paint (LCP) 0% 3% of loads for this page have a slow (>4s)Largest Contentful Paint (LCP) 3%

Lab Data

Third parties  
Third party code can significantly impact load performance. to prioritize your page's content. Reduce and defer loading of third party code
Time to Interactive 2.6 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
LCP request discovery  
Optimize LCP by making the LCP image from the HTML immediately, and discoverable avoiding lazy-loading
Largest Contentful Paint 2.6 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
CSS Selector costs  
If Recalculate Style costs remain high, selector optimization can reduce them. with both high elapsed time and high slow-path %. Simpler selectors, fewer selectors, a smaller DOM, and a shallower DOM will all reduce matching costs. Optimize the selectors
First Meaningful Paint  
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
Lazy load third-party resources with facades  
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Speed Index 3.6 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
Preload Largest Contentful Paint image  
If the LCP element is dynamically added to the page, you should preload the image in order to improve LCP. Learn more about preloading LCP elements
First Contentful Paint 0.8 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
Largest Contentful Paint image was not lazily loaded  
Above-the-fold images that are lazily loaded render later in the page lifecycle, which can delay the largest contentful paint. Learn more about optimal lazy loading
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
INP by phase  
Start investigating with the longest phase. To reduce processing duration, , often JS. Delays can be minimized optimize the main-thread costs
Minimize third-party usage  
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Forced reflow  
Many APIs, typically reading layout geometry, force the rendering engine to pause script execution in order to calculate the style and layout. Learn more about and its mitigations. forced reflow
Long critical network tree  
by reducing the length of chains, reducing the download size of resources, or deferring the download of unnecessary resources to improve page load. Avoid chaining critical requests
Font display  
Consider setting to swap or optional to ensure text is consistently visible. swap can be further optimized to mitigate layout shifts with . font-display font metric overrides

Does dafny.org use compression? ▼

Website compression is the process of reducing the size of website files, such as HTML, CSS, JavaScript, and image files, to improve website performance and load times. Compressing website files can significantly reduce the amount of data that needs to be transferred from the server to the user's browser, resulting in faster page load times and improved user experience. Files on dafny.org are reduced by 58%.
dafny.org use gzip compression.
Original size: 4.63 KB
Compressed size: 1.93 KB
File reduced by: 2.7 KB (58%)

Google Safe Browsing ▼

Google Safe Browsing is a service provided by Google that helps protect users from visiting websites that may contain malicious or harmful content, such as malware, phishing attempts, or deceptive software.
This site is not currently listed as suspicious

MyWot.com Reputation Ratings

MyWOT (short for "My Web of Trust") is a web-based reputation and rating service that provides users with information about the trustworthiness and safety of websites.
Status:
  SAFE

SSL Checker - SSL Certificate Verify ▼

An SSL (Secure Sockets Layer) certificate is a digital certificate that establishes a secure encrypted connection between a web server and a user's web browser. It provides authentication and encryption, ensuring that data transmitted between the server and the browser remains private and protected. dafny.org supports HTTPS.
 dafny.org supports HTTPS
     
Verifying SSL Support. Please wait...
Common Name: dafny.org
Organization:
Location:
Issuer: R10
Valid from: Mar 5 21:20:45 2025 GMT
Valid until: Jun 3 21:20:44 2025 GMT
Authority: CA:FALSE
Keysize: 2048 Bits
Common Name: R10
Organization: Let's Encrypt
Location: US
Issuer: ISRG Root X1
Valid from: Mar 13 00:00:00 2024 GMT
Valid until: Mar 12 23:59:59 2027 GMT
Authority: CA:TRUE
Keysize: 2048 Bits

Verify HTTP/2 Support ▼

HTTP/2 (Hypertext Transfer Protocol version 2) is a major revision of the HTTP protocol, which is the foundation of data communication on the World Wide Web. It was developed as an improvement over the previous HTTP/1.1 version to enhance web performance and efficiency.
 dafny.org supports HTTP/2
     
Verifying HTTP/2.0 Support. Please wait...

Http Header ▼

HTTP headers are extra portions of records despatched among a consumer (which include an internet browser) and a server at some stage in an HTTP request or response. They offer instructions, metadata, or manipulate parameters for the conversation among the consumer and server. 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 22 Jan 2025 19:50:54 GMT
access-control-allow-origin: *
etag: W/"67914c1e-1285"
expires: Tue, 29 Apr 2025 12:58:57 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 596F:1F6C2D:2272380:24A3C3E:6810CAB8
accept-ranges: bytes
age: 0
date: Tue, 29 Apr 2025 20:33:02 GMT
via: 1.1 varnish
x-served-by: cache-chi-kigq8000129-CHI
x-cache: HIT
x-cache-hits: 0
x-timer: S1745958783.590791,VS0,VE33
vary: Accept-Encoding
x-fastly-request-id: 2f4eeb95b71e245582c1d469dc28a8f3b129c9bb
content-length: 1972

DNS Lookup ▼

DNS entries (Domain Name System) are a critical component of the Internet infrastructure. They act as directories that translate human-readable domain names (such as example.com) to machine-readable IP addresses. DNS records are stored on DNS servers and help forward internet traffic efficiently.
Type Ip Target/Txt TTL
SOA 10800
Mname ns1.gandi.net
Rname hostmaster.gandi.net
Serial Number 1745452800
Refresh 10800
Retry 3600
Expire 604800
Minimum TTL 10800
TXT v=spf1 include:_mailcust.gandi.net ?all 10800
MX spool.mail.gandi.net 10800
MX fb.mail.gandi.net 10800
AAAA 2606:50c0:8000::153 10761
AAAA 2606:50c0:8002::153 10761
AAAA 2606:50c0:8001::153 10761
AAAA 2606:50c0:8003::153 10761
A 185.199.108.153 10761
A 185.199.109.153 10761
A 185.199.110.153 10761
A 185.199.111.153 10761
NS ns-40-b.gandi.net 3561
NS ns-62-c.gandi.net 3561
NS ns-100-a.gandi.net 3561
CAA letsencrypt.org 1800

Whois Lookup ▼

Domain WHOIS is a public database that provides information about domain names, including registered owners, contact information, domain registrars, registration and expiration dates, name servers, and other relevant information. Domain registration for this website began on January 23, 2018 and will expire on January 23, 2026 if not renewed. This website is now assigned through the registrar Gandi SAS. The WHOIS data for this website's domain was last updated on November 23, 2024.
Domain Created:
2018-01-23
Domain Expires:
2026-01-23
Domain Updated:
2024-11-23
Domain Age:
7 years 4 months 28 days
Domain Registrar:
Gandi SAS
Domain Owner:
REDACTED
WhoIs:
 

Domain Name: dafny.org
Registry Domain ID: 95c7a2894d79408592c643442f3656fb-LROR
Registrar WHOIS Server: http://whois.gandi.net
Registrar URL: http://www.gandi.net
Updated Date: 2024-11-23T00:08:57Z
Creation Date: 2018-01-23T22:04:49Z
Registry Expiry Date: 2026-01-23T22:04:49Z
Registrar: Gandi SAS
Registrar IANA ID: 81
Registrar Abuse Contact Email: email
Registrar Abuse Contact Phone: +33.170377661
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: REDACTED
Registrant Name: REDACTED
Registrant Organization: 
Registrant Street: REDACTED
Registrant City: REDACTED
Registrant State/Province: Paris
Registrant Postal Code: REDACTED
Registrant Country: FR
Registrant Phone: REDACTED
Registrant Phone Ext: REDACTED
Registrant Fax: REDACTED
Registrant Fax Ext: REDACTED
Registrant Email: REDACTED
Registry Admin ID: REDACTED
Admin Name: REDACTED
Admin Organization: REDACTED
Admin Street: REDACTED
Admin City: REDACTED
Admin State/Province: REDACTED
Admin Postal Code: REDACTED
Admin Country: REDACTED
Admin Phone: REDACTED
Admin Phone Ext: REDACTED
Admin Fax: REDACTED
Admin Fax Ext: REDACTED
Admin Email: REDACTED
Registry Tech ID: REDACTED
Tech Name: REDACTED
Tech Organization: REDACTED
Tech Street: REDACTED
Tech City: REDACTED
Tech State/Province: REDACTED
Tech Postal Code: REDACTED
Tech Country: REDACTED
Tech Phone: REDACTED
Tech Phone Ext: REDACTED
Tech Fax: REDACTED
Tech Fax Ext: REDACTED
Tech Email: REDACTED
Name Server: ns-100-a.gandi.net
Name Server: ns-40-b.gandi.net
Name Server: ns-62-c.gandi.net
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://icann.org/wicf/
>>> Last update of WHOIS database: 2025-04-29T20:33:41Z