Domain profile · Jun–Aug 2026Status · Live

counterexamples.org↗

Counterexamples in Type Systems - Counterexamples in Type Systems

#2,056,575Link-graph rank

Top 1.7%of 119.7M domains

PageRank #2,848,297By links pointing at it

1 hostSubdomains in the link graph

Technologies

Content & CMS · 1Frontend · 2

mdBookClipboard.jsLunr.js

Site details

Similar sites

Sites sharing its less common technologies

Rank	Site	Description	Technologies	Language
108685	ctaggart.comctaggart.com	Album Download - Album Download	mdBookYouTube+2+3	English
13198	dnsprivacy.orgdnsprivacy.org	DNS Privacy Project :: dnsprivacy.org	HugoClipboard.js+3+4	English
95188	cloudbrothers.infocloudbrothers.info	Work and live with IT. A blog about all things I encounter on a day to day basis.	HugoClipboard.js+1+2	American English
Ad	Serpex Search APIserpex.dev	The fast, affordable search API for AI & data projects.	Google AnalyticsNext.js	English
100716	xenomai.orgxenomai.org	Xenomai 4 project	HugoClipboard.js+4+5	English
116389	kubesec.iokubesec.io	kubesec.io	HugoClipboard.js+4+5	English
117344	pfaffikus.depfaffikus.de	Pfaffikus	HugoBootstrap+4+5
426058	hacktricks.xyzhacktricks.xyz → hacktricks.wiki	HackTricks is a cybersecurity knowledge base with practical pentesting, red team, web, cloud, binary exploitation, and privilege escalation techniques.	Google AnalyticsmdBook+2+3	English
477376	cxx.rscxx.rs	CXX — safe interop between Rust and C++ by David Tolnay. This library provides a safe mechanism for calling C++ code from Rust and Rust code from C++.	Google AnalyticsGoogle Tag Manager+3+4	English
525015	hacktricks.wikihacktricks.wiki	HackTricks is a cybersecurity knowledge base with practical pentesting, red team, web, cloud, binary exploitation, and privilege escalation techniques.	Google AnalyticsmdBook+2+3	English
563689	freeplane.orgfreeplane.org	Home - Freeplane Documentation	mdBookClipboard.js+1+2	English