Backlink stats lists.chalmers.se

• Linkpop:	107
• Domainpop:	31
• IP-Pop:	26
• ClassC-Pop:	26

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	1	11
2	http://people.csail.mit.edu \| Details ► http://people.csail.mit.edu/jgross/personal-website/papers/category-coq-experience.html	128.30.2.133	1	10
3	xxxx://xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	2	9
4	http://www.nii.ac.jp \| Details ► http://www.nii.ac.jp/pi/n10/10_19_cit.html	52.69.121.140	1	9
5	xxxx://xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	9

6	http://wiki.list.org \| Details ► http://wiki.list.org/COM/Organizations%20that%20use%20Mailman	104.130.12.72	2	7
7	xxxx://xxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	7
8	http://www.yourghoststories.com \| Details ► http://www.yourghoststories.com/real-ghost-story.php?story=2458	138.197.72.164	1	7
9	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	31	6
10	http://angg.twu.net \| Details ► http://angg.twu.net/e/agda.e.html	192.129.162.2	27	6
11	xxxx://xxxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	10	6
12	http://leanprover-community.github.io \| Details ► http://leanprover-community.github.io/archive/stream/270676-lean4/topic/How.20to.20prove.20theorems.20that.20use.20.60cast.60.html	185.199.109.153	1	6
13	xxxx://xxxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	6
14	http://community.haskell.org \| Details ► http://community.haskell.org/projects-pipermail/haskell-br/2011-November/000015.html	147.75.54.133	1	6
15	xxxx://xxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	6
16	http://swmath.org \| Details ► http://swmath.org/software/37631	141.66.193.30	1	6
17	xxxx://xxxxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	3	5
18	http://eutypes.cs.ru.nl \| Details ► http://eutypes.cs.ru.nl/IndustryLinks	131.174.9.230	1	5
19	xxxx://xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xxx	4	4
20	http://dimjasevic.net \| Details ► http://dimjasevic.net/marko/2018/11/20/function-totality-abstraction-tool-in-programming/	46.102.246.19	2	4
21	xxxx://xxxxxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	2	4
22	http://oxij.org \| Details ► http://oxij.org/note/BrutalDepTypes/	62.210.203.63	1	4
23	xxxx://xxxxxxxx.xxxxxxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	4
24	http://doisinkidney.com \| Details ► http://doisinkidney.com/posts/2021-03-14-hyperfunctions.html	185.199.109.153	1	4
25	xxxx://xxxxxxxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	1	4
26	http://logs.guix.gnu.org \| Details ► http://logs.guix.gnu.org/guix/2018-03-16.log	185.233.100.56	2	3
27	xxxx://xxxx.xxxxxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	2	3
28	http://mattecapu.github.io \| Details ► http://mattecapu.github.io/ct-zulip-archive/stream/229111-general/topic/topic_Introduce.20Yourself!.html	185.199.111.153	1	3
29	xxxx://xxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	3
30	http://vilhelms.github.io \| Details ► http://vilhelms.github.io/posts/why-must-inductive-types-be-strictly-positive/	185.199.108.153	1	3
31	xxxx://xxxxxxx.xxxxxxxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	1