Возраст домена | 10 лет |
Дата окончания | Истек срок регистрации |
ИКС | 10 |
Страниц в Google | 120 |
Страниц в Яндексе | 89 |
Dmoz | Нет |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 1448865 |
Alexa Country | 227117 |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
Standard ML Family GitHub Project
n/a
n/a
UTF-8
13.33 КБ
898
7 546 симв.
6 374 симв.
Данные предоставлены сервисом semrush
Сайт | Общие фразы | PR | тИЦ | Alexa Rank | Alexa Country | |
---|---|---|---|---|---|---|
smlnj.org | 43 | 6 |
20 | 764341 | 211081 | |
learnxinyminutes.com | 20 | 5 |
40 | 79708 | 24397 | |
itu.dk | 13 | 6 |
50 | 52686 | 242 | |
rigaux.org | 8 | 3 |
0 | 770881 | 228862 | |
mlton.org | 7 | 5 |
10 | 5806611 | Нет данных | |
chlipala.net | 5 | n/a | 10 | 1545619 | Нет данных | |
shoalsmarinelaboratory.org | 4 | n/a | 0 | 3840890 | Нет данных | |
sml.com | 3 | 4 |
10 | 498484 | 97156 | |
shanesnow.com | 2 | n/a | 0 | 1153946 | 260790 | |
smlserver.org | 2 | n/a | 0 | 3959176 | Нет данных | |
Еще 40 сайтов после авторизации |
Данные предоставлены сервисом semrush
Данные linkpad ( 6 Января 2015 ) | |
Количество ссылок на сайт | 39 |
Количество доменов, которые ссылаются на сайт | 11 |
Количество найденных анкоров | 15 |
Исходящие (внешние) ссылки домена | 25 |
Количество доменов, на которые ссылается сайт | 25 |
Количество исходящих анкоров | 25 |
Внешние ссылки главной страницы ( 37 ) | |
mitpress.mit.edu/books/definition-standard-ml | MIT Press. |
github.com/SMLFamily/sml90 | The Definition of Standard ML |
github.com/SMLFamily/sml97 | The Definition of Standard ML, Revised |
github.com/SMLFamily/SML-The-Living-Language | SML, The Living Language (aka Successor ML) |
cambridge.org/us/academic/subjects/computer-science/programm... | Cambridge University Press |
github.com/SMLFamily/nsml | Non-Standard ML |
mpi-sws.org/~rossberg/sml.html | Andreas Rossberg's CFG for Standard ML concrete syntax. |
cs.ukc.ac.uk/pubs/1993/569/ | Mistakes and Ambiguities in The Definition of Standard ML |
mpi-sws.org/~rossberg/sml-defects.html | Defects in the Revised Definition of Standard ML |
github.com/SMLFamily/ttsml | Mechanization of the Type-Theoretic Definition of Standard ML |
cs.cmu.edu/~rwh/papers/ttisml/ttisml.pdf | Type-Theoretic Interpretation of Standard ML |
lists.sourceforge.net/mailman/listinfo/sml-implementers | http://lists.sourceforge.net/mailman/listinfo/sml-implementers |
lists.sourceforge.net/lists/roster/sml-implementers | http://lists.sourceforge.net/lists/roster/sml-implementers |
lists.sourceforge.net/mailman/listinfo/sml-list | http://lists.sourceforge.net/mailman/listinfo/sml-list |
lists.sourceforge.net/lists/roster/sml-list | http://lists.sourceforge.net/lists/roster/sml-list |
smlnj.org | Standard ML of New Jersey (SML/NJ) |
mosml.org | Moscow ML |
dcs.ed.ac.uk/home/mlj/index.html | MLj |
melsman.github.io/mlkit | MLKit |
smlserver.org/smltojs | SMLtoJs |
smlserver.org/ide | SMLonline |
mlton.org/ | MLton |
polyml.org | Poly/ML |
cs.bham.ac.uk/research/poplog/freepoplog.html | Poplog Standard ML |
github.com/RobertHarper/TILT-Compiler.git | TILT |
github.com/Ravenbrook/mlworks | MLWorks |
mpi-sws.org/~rossberg/hamlet/ | HaMLet |
cakeml.org/ | CakeML |
pllab.riec.tohoku.ac.jp/smlsharp/ | SML# |
ps.uni-saarland.de/alice/ | Alice ML |
manticore.cs.uchicago.edu | Manticore |
github.com/standardml/smackage | Standard ML Smackage |
ocaml.org | OCaml |
fsharp.org | F# |
mth.github.io/yeti/ | Yeti |
existentialtype.wordpress.com | Existential Type |
smlserver.org | SMLserver |
Внутренние ссылки главной страницы ( 8 ) | |
Basis/index.html | Standard ML Basis Library |
#History | history section |
sml90-defn.pdf | The Definition of Standard ML |
sml97-defn.pdf | The Definition of Standard ML, Revised |
papers/Appel-critique-SML.pdf | A Critique of Standard ML |
papers/MacQueen-reflections.pdf | Reflections on Standard ML |
successor-ml/index.html | Successor ML |
history/index.html | Standard ML History |
Domain Name: SML-FAMILY.ORG
Registry Domain ID: D172756317-LROR
Registrar WHOIS Server: whois.godaddy.com
Registrar URL: http://www.whois.godaddy.com
Updated Date: 2018-06-01T12:36:57Z
Creation Date: 2014-05-31T16:50:05Z
Registry Expiry Date: 2020-05-31T16:50:05Z
Registrar Registration Expiration Date:
Registrar: GoDaddy.com, LLC
Registrar IANA ID: 146
Registrar Abuse Contact Email: abuse@godaddy.com
Registrar Abuse Contact Phone: +1.4806242505
Reseller:
Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited
Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited
Registrant Organization:
Registrant State/Province: Pennsylvania
Registrant Country: US
Name Server: NS15.DOMAINCONTROL.COM
Name Server: NS16.DOMAINCONTROL.COM
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2018-11-14T04:03:10Z <<<
For more information on Whois status codes, please visit https://icann.org/epp
Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to (a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.
The Registrar of Record identified in this output may have an RDDS service that can be queried for additional information on how to contact the Registrant, Admin, or Tech contact of the queried domain name.
Нидерланды - Амстердам - 37.139.21.24
Digital Ocean
Digital Ocean
HTTP/1.1 200 OK
Server: GitHub.com
Date: Tue, 05 Nov 2019 22:56:21 GMT
Content-Type: text/html; charset=utf-8
Content-Length: 13645
Vary: Accept-Encoding
Last-Modified: Mon, 04 Apr 2016 13:33:37 GMT
Vary: Accept-Encoding
ETag: "57026d31-354d"
Access-Control-Allow-Origin: *
Expires: Tue, 05 Nov 2019 23:06:21 GMT
Cache-Control: max-age=600
Accept-Ranges: bytes
X-Proxy-Cache: MISS
X-GitHub-Request-Id: 6B9A:6ACE:6EDAAA:8DE01C:5DC1FE15
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"