Анализ сайта iris-project.org
Основное Готовность: 100%
Домен
iris-project.org
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Домен второго уровня идеален для продвижения.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Цепочка редиректов:
http://iris-project.org
301 MovedPermanently
https://iris-project.org/
200 OK
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 04.10.2026 22:45:22.
HTTP автоматически перенаправляется на HTTPS.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,61сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,61сек оптимальна.
Объем документа
151Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 151Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 3
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 3 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | bootstrap.min.css | |
| stylesheet | style.css | |
| js | /bootstrap.min.js |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a86b915-25dc3" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | AAE2:13DD89:34CB000:353ADD9:6A8A57BE |
| x-github-edge-region | fra |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sun, 23 Aug 2026 06:35:06 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-fra-eddf8230123-FRA |
| X-Cache | HIT |
| x-cache-hits | 0 |
| x-timer | S1787466907.790852,VS0,VE113 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 84217cd277ef5e73cf08b3bcd3a9f67524dc2a66 |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 32%
Title
Iris Project
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 12, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Установите мета-тег description!
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Рекомендуем прописать канонический Url.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1, shrink-to-fit=no
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Не найдено
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph не задана. Страница не оптимизирована под социальные сети. Мета-теги с разметкой Og помогают социальным роботам лучше структурировать Ваш сайт.
Все мета-теги
Кол-во: 4
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 4шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1, shrink-to-fit=no |
| name | description | |
| name | author | |
| name | referrer | origin-when-cross-origin |
Оптимизация Готовность: 40%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 12 достаточно.
Среднее число слов в абзаце 38 достаточно.
Кол-во знаков контента 50832 на странице оптимально.
Кол-во слов 6880 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h2> 7. Это хорошо.
Тошнота
12
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
37,15%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| programming | 144 | 2,09% |
| sigplan | 129 | 1,88% |
| development | 113 | 1,64% |
| conference | 91 | 1,32% |
| artifact | 75 | 1,09% |
| separation | 69 | 1,00% |
| languages | 68 | 0,99% |
| birkedal | 65 | 0,94% |
| symposium | 60 | 0,87% |
| international | 56 | 0,81% |
| principles | 49 | 0,71% |
| robbert | 46 | 0,67% |
| krebbers | 46 | 0,67% |
| concurrent | 45 | 0,65% |
| recipient | 42 | 0,61% |
| website | 42 | 0,61% |
| dreyer | 39 | 0,57% |
| programs | 36 | 0,52% |
| timany | 34 | 0,49% |
| language | 33 | 0,48% |
Индексация Готовность: 0%
Индексирование
Есть ошибки
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 498 слишком много. Проведите ревизию и оптимизацию ссылок сайта.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 193
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 193 слишком много. Проведите оптимизацию сайта!
Показать первые 100 внутренних ссылок
| Url | Анкор | Состояние | Анализировать |
|---|---|---|---|
| /chat.html |
Chat
|
|
Анализировать url |
| /chat.html |
chat room
|
|
Анализировать url |
| /tutorial-material.html |
Iris lecture notes
|
|
Анализировать url |
| /pdfs/2024-jacm-logical-type-soundness.pdf |
A Logical Approach to Type
Soundness
|
|
|
| /pdfs/2017-popl-proofmode-final.pdf |
Iris Proofmode paper (Section 3)
|
|
|
| /workshop-2026 |
The Sixth Iris Workshop
|
|
Анализировать url |
| /workshop-2025 |
The Fifth Iris Workshop
|
|
Анализировать url |
| /workshop-2024 |
The Fourth Iris Workshop
|
|
Анализировать url |
| /workshop-2023 |
The Third Iris Workshop
|
|
Анализировать url |
| /workshop-2022 |
The Second Iris Workshop
|
|
Анализировать url |
| /workshop-2019 |
The First Iris Workshop
|
|
Анализировать url |
| /pdfs/2026-icfp-modecrossing.pdf |
.pdf
|
|
|
| /pdfs/2026-icfp-completeness.pdf |
.pdf
|
|
|
| /pdfs/2026-icfp-parcas.pdf |
.pdf
|
|
|
| /pdfs/2026-lics-cont-eris.pdf |
.pdf
|
|
|
| /pdfs/2026-ecoop-wfree.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-exceptional.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-parabs.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-clutch-dp.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-foxtrot.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-iriswasmfx.pdf |
.pdf
|
|
|
| /pdfs/2026-pldi-verusbelt.pdf |
.pdf
|
|
|
| /pdfs/2026-oopsla-mixtris.pdf |
.pdf
|
|
|
| /pdfs/2026-oopsla-lawyer.pdf |
.pdf
|
|
|
| /pdfs/2026-esop-templates.pdf |
.pdf
|
|
|
| /pdfs/2026-jfla-kot.pdf |
.pdf
|
|
|
| /pdfs/2026-popl-zoo.pdf |
.pdf
|
|
|
| /pdfs/2026-popl-robustdimsum.pdf |
.pdf
|
|
|
| /pdfs/2026-popl-intdet.pdf |
.pdf
|
|
|
| /pdfs/2026-popl-typedis.pdf |
.pdf
|
|
|
| /pdfs/2026-popl-blaze.pdf |
.pdf
|
|
|
| /pdfs/2026-cpp-distributions.pdf |
.pdf
|
|
|
| /pdfs/2026-cpp-step-modality.pdf |
.pdf
|
|
|
| /pdfs/2026-cpp-tree-traversals.pdf |
.pdf
|
|
|
| /pdfs/2025-fossacs-idempotent-resources.pdf |
.pdf
|
|
|
| /pdfs/2025-itp-inductive.pdf |
.pdf
|
|
|
| /pdfs/2025-ccs-veriauth.pdf |
.pdf
|
|
|
| /pdfs/2025-icfp-osiris.pdf |
.pdf
|
|
|
| /pdfs/2025-icfp-coneris.pdf |
.pdf
|
|
|
| /pdfs/2025-icfp-weak-isolations.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-hp-revisited.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-weak-smr.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-weak-reachability.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-daenerys.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-treeborrows.pdf |
.pdf
|
|
|
| /pdfs/2025-pldi-refinedprosa.pdf |
.pdf
|
|
|
| /pdfs/2025-fscd-guarded-dom.pdf |
.pdf
|
|
|
| /pdfs/2025-oopsla-lilo.pdf |
.pdf
|
|
|
| /pdfs/2025-toplas-willitfit.pdf |
.pdf
|
|
|
| /pdfs/2025-esop-gitrees.pdf |
.pdf
|
|
|
| /pdfs/2025-cpp-nextgen.pdf |
.pdf
|
|
|
| /pdfs/2025-popl-tmc.pdf |
.pdf
|
|
|
| /pdfs/2025-popl-approxis.pdf |
.pdf
|
|
|
| /pdfs/2025-popl-drfcaml.pdf |
.pdf
|
|
|
| /pdfs/2025-popl-affect.pdf |
.pdf
|
|
|
| /pdfs/2024-jacm-logical-type-soundness-final.pdf |
.pdf
|
|
|
| /pdfs/2024-oopsla-iris-mswasm.pdf |
.pdf
|
|
|
| /pdfs/2024-oopsla-linking-actris.pdf |
.pdf
|
|
|
| /actris |
website
|
|
Анализировать url |
| /pdfs/2024-oopsla-multris.pdf |
.pdf
|
|
|
| /actris |
website
|
|
Анализировать url |
| /pdfs/2024-oopsla-tachis.pdf |
.pdf
|
|
|
| /pdfs/2024-icfp-rcl.pdf |
.pdf
|
|
|
| /pdfs/2024-icfp-snapshottable-stores.pdf |
.pdf
|
|
|
| /pdfs/2024-icfp-caliper.pdf |
.pdf
|
|
|
| /pdfs/2024-icfp-eris.pdf |
.pdf
|
|
|
| /pdfs/2024-pldi-functional-essence.pdf |
.pdf
|
|
|
| /pdfs/2024-pldi-quiver.pdf |
.pdf
|
|
|
| /pdfs/2024-pldi-refinedrust.pdf |
.pdf
|
|
|
| /pdfs/2024-pldi-proof-recipe.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-pottier-gueneau-jourdan-mevel-thunks-debits.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-vst-on-iris.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-dlfactris.pdf |
.pdf
|
|
|
| /actris |
website
|
|
Анализировать url |
| /pdfs/2024-popl-dislog.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-wbcf.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-gadt.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-gitrees.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-clutch.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-trillium.pdf |
.pdf
|
|
|
| /pdfs/2024-popl-axsl-final.pdf |
.pdf
|
|
|
| /pdfs/2023-jacm-cerise.pdf |
.pdf
|
|
|
| /pdfs/2023-sosp-grove.pdf |
.pdf
|
|
|
| /pdfs/2023-oopsla-melocoton.pdf |
.pdf
|
|
|
| /pdfs/2023-oopsla-reclamation.pdf |
.pdf
|
|
|
| /pdfs/2023-oopsla-spirea.pdf |
.pdf
|
|
|
| /pdfs/2023-oopsla-diaframe2-final.pdf |
.pdf
|
|
|
| /pdfs/2023-lmcs-rmad.pdf |
.pdf
|
|
|
| /pdfs/2023-icfp-relcom.pdf |
.pdf
|
|
|
| /aneris |
website
|
|
Анализировать url |
| /actris |
website
|
|
Анализировать url |
| /pdfs/2023-ecoop-crdts.pdf |
[preprint] .pdf
|
|
|
| /aneris |
website
|
|
Анализировать url |
| /pdfs/2023-osdi-vmvcc.pdf |
.pdf
|
|
|
| /pdfs/2023-pldi-cqs.pdf |
.pdf
|
|
|
| /pdfs/2023-pldi-diaframe-disj.pdf |
.pdf
|
|
|
| /pdfs/2023-pldi-hypervisor-vmsl.pdf |
.pdf
|
|
|
| /pdfs/2023-pldi-iris-wasm.pdf |
.pdf
|
|
|
| /pdfs/2023-esop-tes.pdf |
.pdf
|
|
|
| /pdfs/2023-popl-diamonds.pdf |
.pdf
|
|
Внешние ссылки
Кол-во: 299
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 299 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать первые 100 внешних ссылок
| Url | Анкор | Анализировать |
|---|---|---|
| gitlab.mpi-sws.org |
Rocq Formalization
|
Анализировать url |
| plv.mpi-sws.org |
Technical Reference (v4.5)
|
Анализировать url |
| github.com |
Iris tutorial in Rocq
|
Анализировать url |
| plv.mpi-sws.org |
Semantics lecture
notes
|
Анализировать url |
| gitlab.mpi-sws.org |
Iris Tutorial at POPL'21
|
Анализировать url |
| youtube.com |
video recording
|
Анализировать url |
| youtube.com |
video recording
|
Анализировать url |
| gitlab.mpi-sws.org |
Iris Tutorial at POPL'20
|
Анализировать url |
| mpi-sws.org |
Iris From The Ground Up
paper
|
Анализировать url |
| gitlab.mpi-sws.org |
Iris Proof Mode (IPM)
/
MoSeL
|
Анализировать url |
| gitlab.mpi-sws.org |
HeapLang
|
Анализировать url |
| popl26.sigplan.org |
Tutorial
on probabilistic program verification in Iris
|
Анализировать url |
| popl24.sigplan.org |
Tutorial
on Iris and Session Types
|
Анализировать url |
| popl21.sigplan.org |
Tutorial
on Iris
|
Анализировать url |
| popl20.sigplan.org |
Tutorial
on Proving Semantic Type Soundness in Iris
|
Анализировать url |
| popl18.sigplan.org |
Tutorial
on Iris
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| arxiv.org |
.pdf
|
Анализировать url |
| doi.org |
Rocq development
|
Анализировать url |
| doi.org |
Rocq development
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| arxiv.org |
Extended version
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| zenodo.org |
Rocq artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| github.com |
OCaml code
|
Анализировать url |
| github.com |
Iris/Rocq proofs
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| dl.acm.org |
.pdf
|
Анализировать url |
| github.com |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| gitlab.mpi-sws.org |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq and OCaml development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| gitlab.inria.fr |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| sigops.org |
.pdf
|
Анализировать url |
| doi.org |
Publisher's site
|
Анализировать url |
| github.com |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| github.com |
Rust development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| plv.mpi-sws.org |
website
|
Анализировать url |
| plf.inf.ethz.ch |
website
|
Анализировать url |
| plv.mpi-sws.org |
website
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| csgordon.github.io |
.pdf
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| github.com |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| research.ralfj.de |
.pdf
|
Анализировать url |
| plf.inf.ethz.ch |
website
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| doi.org |
Artifact
|
Анализировать url |
| dl.acm.org |
JACM webpage
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| zenodo.org |
Artifact
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
| drops.dagstuhl.de |
.pdf
|
Анализировать url |
| plv.mpi-sws.org |
website
|
Анализировать url |
| plv.mpi-sws.org |
website
|
Анализировать url |
| github.com |
Rocq development
|
Анализировать url |
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Таким сайт iris-project.org видят поисковые системы. Процент оптимизации невысокий - 43%. Чтобы улучшить сайт и попасть в ТОП необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: