id
name
processing priority
4
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2023-12-16 15:03:52
expired found date
-
created at
2024-05-28 11:35:29
updated at
2025-12-24 03:14:10
length
8
crc
48502
tld
2688
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
-
previous id
0
replaced with id
0
related id
-
dns primary id
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
63555
mp size raw text
20192
mp inner links count
0
mp inner links status
20 (imported)
title
Alan Jeffrey
description
Alan Jeffrey's home page.
image
site name
author
updated
2025-12-06 08:17:39
raw text
Alan Jeffrey Alan Jeffrey Software Engineer @ Roblox Software Current project Roblox Game Engine, focusing on the Luau scripting language. Previous projects Servo : a parallel browser engine (2015-20). WIfL : a Web Interface Language (2012-13). Agda : a dependently typed programming language and proof assistant. JavaScript back end (2011). agda-frp-js : Functional Reactive Programming for Agda, compiling to JavaScript (2011). agda-frp-ltl : Model of Functional Reactive Programming, typed using Linear-Time Temporal Logic (2011). agda-assoc-free : Difference lists, which form a monoid up to definitional equality, used to define normalization by evaluation for the simply typed lambda-calculus (2011). agda-web-semantic : Semantic Web libraries for Agda, constructing a symmetric monoidal category from a description logic (2011). agda-system-io : I/O libraries for Agda with semantics as a lax braided monoidal category (2010-11). ...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
2025110801
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
14038
text words
2711
text unique words
656
text lines
622
text sentences
673
text paragraphs
1
text words per sentence
4
text matched phrases
2
text matched dictionaries
5
links self subdomains
0
links other subdomains
54 - wiki.portal.chalmers.se, dblp.uni-trier.de, kent.ac.uk, web.comlab.ox.ac.uk, ox.ac.uk, ect.bell-labs.com, cs.ru.nl, sos.cs.ru.nl, scss.tcd.ie, research.jetbrains.org, cam.ac.uk, users.ecs.soton.ac.uk, ecs.soton.ac.uk, users.soton.ac.uk, soi.city.ac.uk, city.ac.uk, informatics.sussex.ac.uk, sussex.ac.uk, popl23.sigplan.org, 2023.splashcon.org, 2021.splashcon.org, popl19.sigplan.org, lics.siglog.org, conf.researchr.org, discotec2015.inria.fr, events.cs.bham.ac.uk, eb.host.cs.st-andrews.ac.uk, popl.mpi-sws.org, forte13.sosy-lab.org, prosecco.gforge.inria.fr, di.ens.fr, csl2008.cs.unibo.it, dsi.uniroma1.it, concur07.di.fc.ul.pt, rap.dsi.unifi.it, www2.informatik.hu-berlin.de, mobius.inria.fr, esorics06.tu-harburg.de, cse.chalmers.se
links other domains
29 - luau-lang.org, servo.org, wifl.org, tug.org, latex-project.org, ru.is, reykjavikuniversity.is, bell-labs.com, alcatel-lucent.com, andyfriesen.com, ru.nl, tcd.ie, hse.ru, icfpconference.org, iptcomm.org, wcc2010.org
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
19
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
links ext klim
0
links ext generic
4
dol status
0
dol updated
2025-12-06 08:17:39
rss path
rss status
3 (priority 3 already searched, no matches found)
rss found date
-
rss size orig
0
rss items
0
rss spam phrases
0
rss detected language
0 (awaiting analysis)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
34 (reserved: import paused pending content quality/relevance assessment after importing first 500 pages)
sitemap review version
1
sitemap urls count
81
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
2023-12-23 10:59:27
sitemap process date
2024-09-30 05:31:44
sitemap first import date
-
sitemap last import date
2025-02-16 23:43:00