Backlink stats cakeml.org

• Linkpop:	2.343
• Domainpop:	72
• IP-Pop:	61
• ClassC-Pop:	56

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

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xx.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	14
2	http://www.cs.cmu.edu \| Details ► http://www.cs.cmu.edu/~yongkiat/	128.2.42.95	11	11
3	xxxx://xx.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	10
4	http://www.haskell.org \| Details ► http://www.haskell.org/communities/05-2015/html/report.html	147.75.54.133	5	9
5	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	3	9

6	http://www.cis.upenn.edu \| Details ► http://www.cis.upenn.edu/~bcpierce/courses/670Fall15/	158.130.69.163	2	9
7	xxxx://xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	9
8	http://theory.stanford.edu \| Details ► http://theory.stanford.edu/~blynn/compiler/quest.html	171.64.78.10	1	9
9	xxxx://xxx.xxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	27	8
10	http://www-cs-students.stanford.edu \| Details ► http://www-cs-students.stanford.edu/%7Eblynn/compiler/quest.html	171.64.66.201	3	8
11	xxxx://xxxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	8
12	http://www.cs.rit.edu \| Details ► http://www.cs.rit.edu/~mtf/teaching/20195/mmt/schedule.html	129.21.30.104	2	8
13	xxxx://xxxxxx-xxx-xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	8
14	http://www.avivadirectory.com \| Details ► http://www.avivadirectory.com/Computers-and-Internet/Programming/ML-Languages/	199.188.204.184	1	8
15	xxxx://xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	8
16	http://www.it.uu.se \| Details ► http://www.it.uu.se/research/upmarc/seminars	130.238.12.100	1	8
17	xxxx://xxxxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	1	8
18	http://people.mpi-sws.org \| Details ► http://people.mpi-sws.org/~hbecker/blog/	139.19.206.131	3	7
19	xxxx://xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	7
20	http://www.hcii.cmu.edu \| Details ► http://www.hcii.cmu.edu/news/off/event/2022/04/principles-programming-seminar	128.2.27.83	2	7
21	xxxx://xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	7
22	http://wwwcip.informatik.uni-erlangen.de \| Details ► http://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html	131.188.30.44	1	7
23	xxxx://xxxxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	7
24	http://www.ciirc.cvut.cz \| Details ► http://www.ciirc.cvut.cz/ciirc-ctu-team-led-by-j-urban-won-in-automated-reasoning-competition/	147.32.71.28	14	6
25	xxxx://xxxxxxxxxxx.xxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	6	6
26	http://etaps.org \| Details ► http://etaps.org/2017/etaps-programme/etaps-2017-preprints-thursday	137.226.37.213	2	6
27	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	6
28	http://hcii.cmu.edu \| Details ► http://hcii.cmu.edu/news/off/event/2022/04/principles-programming-seminar	128.2.27.83	2	6
29	xxxx://xxxx-xxx-xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	6
30	http://mail.haskell.org \| Details ► http://mail.haskell.org/pipermail/haskell-cafe/2019-February/130741.html	23.253.242.70	1	6
31	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	1	6
32	http://swmath.org \| Details ► http://swmath.org/software/8799	141.66.193.30	1	6
33	xxxx://xxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	6
34	http://copyfree.org \| Details ► http://copyfree.org/resources/works	54.204.238.15	2148	5
35	xxxx://xxxxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	10	5
36	http://justsolve.archiveteam.org \| Details ► http://justsolve.archiveteam.org/index.php?title=CakeML&oldid=32105	208.86.226.169	6	5
37	xxxx://xxx.xxxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	x.xxx.xxx.xx	5	5
38	http://www.philipzucker.com \| Details ► http://www.philipzucker.com/notes/Languages/HOL/	185.199.109.153	3	5
39	xxxx://xxx-xxxxxxx-xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	3	5
40	http://www.gilith.com \| Details ► http://www.gilith.com/opentheory/mailing-list/2015-January/000477.html	173.230.144.235	2	5
41	xxxx://xxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	5
42	http://asimod.in.tum.de \| Details ► http://asimod.in.tum.de/2017/lectures.shtml	131.159.46.141	2	5
43	xxxx://xxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	5
44	http://ilyasergey.net \| Details ► http://ilyasergey.net/YSC4230-static/reading_project.html	185.199.108.153	1	5
45	xxxx://xxxxxxx-xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	5
46	http://vetss.org.uk \| Details ► http://vetss.org.uk/verifying-efficient-libraries-in-cakeml/	146.169.13.58	1	5
47	xxxx://xxxxxx.xxx-xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	1	5
48	http://wwwcip.cs.fau.de \| Details ► http://wwwcip.cs.fau.de/~oj14ozun/links.html	131.188.30.44	1	5
49	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	5
50	http://bootstrapping.miraheze.org \| Details ► http://bootstrapping.miraheze.org/w/index.php?title=Groups&mobileaction=toggle_view_desktop	217.174.247.33	8	4