gilith.com

GENERAL
META
HTML
LINK ANALYSIS
SERVER
IP

Gilith.com recives any estimated n/a unique visitors and n/a unique page views per day. Revenue gained from these much visits may be n/a per day from various advertising sources. The estimated worth of site is n/a.

Website Age n/a
Alexa Rank no-data
Country United States
IP Address 173.230.144.235

META INFORMATION

Title

Joe Leslie-Hurd - Gilith

Description

Keywords

Content Type

utf-8

GENERAL HTML INFORMATION

Type	Status
HTML 5
Responsive Website

HTML SIZE INFORMATION

Text / Code Ratio 35.56 %

gilith.com has a website text/code ratio of 35.56 %. Search engine crawlers tend to not pick up pages with inadequate content.

IMPORTANT HTML TAGS AND COUNTS

Titles

No	Text
1	Joe leslie-hurd

No	Text
1	Selected blog posts [more]
2	Selected talks [more]
3	Selected publications [more]
4	Conferences [more]

Text Styling

STRONG0
B0
EM4
I2
U0
CITE0

No	Text
1	IEEE Transactions on Computers
2	Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)
3	Lecture Notes in Computer Science
4	Haskell '13: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell

No	Text
1	(solving a game is not the same thing as playing it well)
2	(scaling up is easy when you have a universal tile)

LINK ANALYSIS

Total Link Count: 42

Internal Link Count : 26

No	Text	Type
1	Log in	text
2	Joe Leslie-Hurd	text
3	opentheory	text
4	metis	text
5	chess	text
6	playing it	text
7	more	text
8	Formally Verified Endgame Tables	text
9	Theory Engineering Using Composable Packages	text
10	Visualizing Information Flow through C Programs	text
11	Visual Mathematics	text
12	[script]	text
13	Mathematics of Cryptography: A Guided Tour	text
14	more	text
15	Digit serial methods with applications to division and square root	text
16	[preprint]	text
17	[bibtex]	text
18	Verifying Relative Error Bounds Using Symbolic Simulation	text
19	[paper]	text
20	[bibtex]	text
21	[talk]	text
22	Maintaining verified software	text
23	[paper]	text
24	[bibtex]	text
25	[talk]	text
26	more	text

External Link Count : 16

No	Text	Type
1	Tweets by @gilith	text
2	more	text
3	Fox & Hounds	text
4	The Slowest Software Development Methodology in the World	text
5	Large Knight's Tours	text
6	Combinatorial Games	text
7	SVARM 2013	text
8	SSV '10	text
9	Ignite Portland 9	text
10	[video]	text
11	Galois	text
12	Tech Talk	text
13	Interactive Theorem Proving (ITP 2019)	text
14	NASA Formal Methods Symposium (NFM 2019)	text
15	Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2018)	text
16	-	image