Публічний реєстр
Звіт про здоров'я програмного забезпеченнясхема 0.11.0 · метрики 2.10.0 · 2026-07-17 09:34 UTC

leanprover-community / proofwidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Lean · TypeScriptApache-2.0★ 216 зірок⑂ 46 форківз лист. 2022 р.Переглянути на GitHub ↗
ТипБібліотекаВебінтерфейсяк це визначено
#lean#lean4#visualization

leanprover-community/proofwidgets4 має індекс здоров’я 77 зі 100, що відповідає смузі «Добрий». Найвищий показник — Vitality (90/100), найнижчий — Security (36/100). Останнє оновлення було 1 день тому. Більшість нещодавньої роботи виконують 2 учасники.

77
загалом / 100
Добрий

Індекс здоров'я програмного забезпечення

Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).

77
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
ЖиттєздатністьСпільнота тавпровадженняСталість таврядуванняІнженернаякістьБезпекаГотовність доШІ

Профіль оцінок

Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.

Зважений загальний бал 66 калібровано до 77 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).

Власність

leanprover-communityОрганізація
921 підписник107 публічних репозиторіївз лип. 2018 р.

За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.

Пакетні екосистеми

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікація
npm@leanprover-community/proofwidgets40.1.0131581 день тому

Метрики за категоріями

Життєздатність

Чи живий проєкт — чи пишеться код і чи виходять релізи?

90Відмінний · 21% загального індексу

Активність розробки

83Відмінний
Як обчислюється оцінка
36/36Свіжість push — останній push 1 дн. тому
20.1/36Ритм комітів — 29/52 тижнів із комітами
16.6/18Обсяг комітів — 70 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year70
human_commit_share—
days_since_last_push1
active_weeks_last_year29

Дисципліна релізів

100Винятковий
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 100 релізів
36/36Свіжість релізів — останній реліз 1 дн. тому
27/27Ритм релізів — реліз кожні ~9,9 дн.
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count100
latest_release_tagv0.0.106
releases_from_tagsні
days_since_latest_release1
mean_days_between_releases9,9
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

Спільнота та впровадження

Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?

53Помірний · 17% загального індексу

Популярність і впровадження

56Помірний
Як обчислюється оцінка
37.8/60Зірки — 216 зірок
13.8/25Форки — 46 форків
4.7/15Спостерігачі — 8 спостерігачів
Використані вхідні дані
forks46
stars216
watchers8
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Здоров'я спільноти

50Помірний
Як обчислюється оцінка
22.5/22.5README
22.5/22.5Ліцензія — визнана ліцензія (Apache-2.0)
0/18Настанови CONTRIBUTING
0/13.5Кодекс поведінки
0/7.2Шаблон issue
0/6.3Шаблон PR
Використані вхідні дані
has_readmeтак
has_licenseтак
readme_badges—
has_contributingні
has_issue_templateні
has_code_of_conductні
readme_badge_services—
has_pull_request_templateні

Сталість та врядування

Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?

70Добрий · 23% загального індексу

Стійкість мейнтейнерів (бас-фактор)

62Помірний
Як обчислюється оцінка
25.2/54Бас-фактор — на 2 контриб’ютор(ів) припадає половина всіх комітів
13.6/22.5Розподіл комітів — головний контриб’ютор — автор 40% комітів
13.5/13.5Широта контриб’юторів — 22 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations
Використані вхідні дані
bus_factor2
contributors_sampled22
top_contributor_share0,396

Реактивність на issue та PR

61Помірний
Як обчислюється оцінка
24.4/42Вирішення issue — закрито 58% issue
27.5/30Прийняття PR — злито 142/155 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
1.5/15OpenSSF Scorecard: Code-Review — Found 4/28 approved changesets -- score normalized to 1
Використані вхідні дані
merged_prs142
open_issues13
closed_issues18
prs_merged_7d—
prs_decided_7d—
prs_merged_30d—
prs_decided_30d—
issue_closed_ratio0,581
closed_unmerged_prs13
first_time_authors_30d—
first_time_prs_merged_30d—
first_time_prs_decided_30d—
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

Власність та опіка

95Винятковий
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен — статус підтвердженого домену для цієї організації не зчитано
21.3/25Охоплення власника — 921 підписників у leanprover-community
25/25Послужний список — 107 публічних репозиторіїв, вік облікового запису ~7 р.
Використані вхідні дані
followers921
owner_typeOrganization
is_verified—
owner_loginleanprover-community
public_repos107
account_age_days2 913
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

Супровід пакетів

63Помірний
Як обчислюється оцінка
25/25Опубліковано й доступно — 1 пакет(ів) у npm
14/35Свіжість публікацій — остання публікація 581 дн. тому
4/20Історія версій — 1 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packages@leanprover-community/proofwidgets4
ecosystemsnpm
any_deprecatedні
min_days_since_publish581

Інженерна якість

Чи наявні базові інженерні практики та документація?

75Добрий · 19% загального індексу

Інженерні практики

68Добрий
Як обчислюється оцінка
24/24Процеси CI — 1 процес(ів) CI
24/24Наявні тести
0/16Конфігурація лінтера
0/9.6Pre-commit-хуки
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
Використані вхідні дані
has_ciтак
has_testsтак
has_editorconfigні
has_linter_configні
has_precommit_configні

Документація

85Відмінний
Як обчислюється оцінка
30/30README
25/25Каталог документації
0/15Сайт документації / домашня сторінка
10/10Опис репозиторію
10/10Теми — 3 тем
10/10Wiki
Використані вхідні дані
topicslean, lean4, visualization
has_wikiтак
homepage—
docs_site—
has_readmeтак
has_docs_dirтак
has_descriptionтак

Безпека

Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?

36Слабкий · 16% загального індексу

Стан безпеки

36Слабкий
Як обчислюється оцінка
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
2.5/2.5CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0.8/7.5Code-Review — Found 4/28 approved changesets -- score normalized to 1
2.5/2.5Contributors — project has 9 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
7.5/7.5Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — немає даних
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — немає даних
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 15 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate3,6
Виключено з оцінювання (немає даних або не застосовно): Packaging, Signed-Releases. Залишкові ваги перенормовано.

Готовність до ШІ

Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.

47Слабкий · 4% загального індексу

Контекст і настанови для агентів

1Критичний
Як обчислюється оцінка
0/45Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора
0/15Машиночитана документація (llms.txt)
0/40Читабельна історія комітів — немає даних
Використані вхідні дані
has_llms_txtні
llms_txt_url—
legible_history_share—
agent_instruction_files—
agent_instruction_max_bytes—
Виключено з оцінювання (немає даних або не застосовно): Читабельна історія комітів. Залишкові ваги перенормовано.

Цикл верифікації (збірка / тести / перевірка типів)

52Помірний
Як обчислюється оцінка
0/18Розгортання однією командою
22/22Автоматизовані тести
0/11Конфігурація лінтера / форматера
11/11Статична перевірка типів — widget/tsconfig.json
10/10Відтворюване середовище — lockfile
0/10Підтверджена практика роботи з агентами — немає даних
0/8Автоматизоване супроводження — немає даних
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfilespackage-lock.json
has_dockerfileні
typed_languageні
bootstrap_files—
has_devcontainerні
has_linter_configні
typecheck_configswidget/tsconfig.json
agent_commit_share—
toolchain_manifests—
dependency_bot_commit_share—
Виключено з оцінювання (немає даних або не застосовно): Підтверджена практика роботи з агентами, Автоматизоване супроводження. Залишкові ваги перенормовано.

Читабельність коду для моделей

72Добрий
Як обчислюється оцінка
27/45Типізований код — Lean з конфігурацією перевірки типів (widget/tsconfig.json)
44.5/55Керовані розміри файлів — 9/47 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageLean
largest_source_bytes2 663 470
source_files_sampled47
oversized_source_files9

Машиночитні інтерфейси

100Винятковий
Як обчислюється оцінка
0/40Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення
0/20Сервер MCP — не застосовно до цього типу програмного забезпечення
40/40Придатні до запуску приклади — demos
Використані вхідні дані
example_dirsdemos
has_mcp_signalні
api_schema_files—
interfaces_expected_of—
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.

Ключові факти

216зірок GitHub
22контриб'юторів
70комітів за останні 12 місяців
1днів від останнього пушу
100релізів
2бас-фактор
13відкритих issue
npmпакетних екосистем

Докладніше

OpenSSF Scorecard 3.6 / 10
3.6сукупно

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-07-17 09:34 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
10CI-Tests25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
1Code-ReviewFound 4/28 approved changesets -- score normalized to 1
10Contributorsproject has 9 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
н/дPackagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
н/дSigned-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities15 existing vulnerabilities detected
Прямі залежності 16
РеєстрПакетОбмеження версіїМаніфест
npm@leanprover/infoview~0.11.0widget/package.json
npm@penrose/core~3.2.0widget/package.json
npm@react-three/drei^9.64.0widget/package.json
npm@react-three/fiber^8.12.0widget/package.json
npm@svgdotjs/svg.js^3.2.0widget/package.json
npmd3^7.9.0widget/package.json
npmd3-graphviz^5.6widget/package.json
npmdeep-equal^2.2.3widget/package.json
npmmathjax-full~3.2.2widget/package.json
npmreact^18.2.0widget/package.json
npmreact-dom^18.2.0widget/package.json
npmreact-d3-tree^3.5.1widget/package.json
npmrecharts^2.5.0widget/package.json
npmuse-resize-observer^9.1.0widget/package.json
npmvscode-languageserver-protocol^3.17.2widget/package.json
npmreact-fast-compare^3.2.2widget/package.json
Усі залежності 386

Повний розв'язаний набір залежностей із графа залежностей GitHub: 17 прямих і 369 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

РеєстрПакетВерсіяЗв'язок
npm@leanprover/infoview0.11.0пряма
npm@penrose/core3.2.0пряма
npm@react-three/drei9.122.0пряма
npm@react-three/fiber8.18.0пряма
npm@svgdotjs/svg.js3.2.5пряма
npmd37.9.0пряма
npmd3-graphviz5.6.0пряма
npmdeep-equal2.2.3пряма
npmmathjax-full3.2.2пряма
npmreact18.0.0пряма
npmreact18.3.1пряма
npmreact-d3-tree3.6.6пряма
npmreact-dom18.3.1пряма
npmreact-fast-compare3.2.2пряма
npmrecharts2.15.4пряма
npmuse-resize-observer9.1.0пряма
npmvscode-languageserver-protocol3.17.5пряма
npm@babel/runtime7.28.6непряма
npm@bkrem/react-transition-group1.3.5непряма
npm@datastructures-js/queue4.3.0непряма
npm@dimforge/rapier3d-compat0.12.0непряма
npm@hpcc-js/wasm2.34.2непряма
npm@isaacs/cliui9.0.0непряма
npm@jridgewell/gen-mapping0.3.13непряма
npm@jridgewell/resolve-uri3.1.2непряма
npm@jridgewell/source-map0.3.11непряма
npm@jridgewell/sourcemap-codec1.5.5непряма
npm@jridgewell/trace-mapping0.3.31непряма
npm@juggle/resize-observer3.4.0непряма
npm@leanprover/infoview-api0.11.0непряма
npm@lit-labs/ssr-dom-shim1.5.1непряма
npm@lit/react1.0.8непряма
npm@lit/reactive-element2.1.2непряма
npm@mediapipe/tasks-vision0.10.17непряма
npm@monogrid/gainmap-js3.4.0непряма
npm@penrose/optimizer3.2.0непряма
npm@react-spring/animated9.7.5непряма
npm@react-spring/core9.7.5непряма
npm@react-spring/rafz9.7.5непряма
npm@react-spring/shared9.7.5непряма
npm@react-spring/three9.7.5непряма
npm@react-spring/types9.7.5непряма
npm@rollup/plugin-commonjs28.0.9непряма
npm@rollup/plugin-node-resolve15.3.1непряма
npm@rollup/plugin-replace6.0.3непряма
npm@rollup/plugin-terser0.4.4непряма
npm@rollup/pluginutils5.3.0непряма
npm@rollup/rollup-android-arm-eabi4.59.0непряма
npm@rollup/rollup-android-arm644.59.0непряма
npm@rollup/rollup-darwin-arm644.59.0непряма
npm@rollup/rollup-darwin-x644.59.0непряма
npm@rollup/rollup-freebsd-arm644.59.0непряма
npm@rollup/rollup-freebsd-x644.59.0непряма
npm@rollup/rollup-linux-arm-gnueabihf4.59.0непряма
npm@rollup/rollup-linux-arm-musleabihf4.59.0непряма
npm@rollup/rollup-linux-arm64-gnu4.59.0непряма
npm@rollup/rollup-linux-arm64-musl4.59.0непряма
npm@rollup/rollup-linux-loong64-gnu4.59.0непряма
npm@rollup/rollup-linux-loong64-musl4.59.0непряма
npm@rollup/rollup-linux-ppc64-gnu4.59.0непряма
npm@rollup/rollup-linux-ppc64-musl4.59.0непряма
npm@rollup/rollup-linux-riscv64-gnu4.59.0непряма
npm@rollup/rollup-linux-riscv64-musl4.59.0непряма
npm@rollup/rollup-linux-s390x-gnu4.59.0непряма
npm@rollup/rollup-linux-x64-gnu4.59.0непряма
npm@rollup/rollup-linux-x64-musl4.59.0непряма
npm@rollup/rollup-openbsd-x644.59.0непряма
npm@rollup/rollup-openharmony-arm644.59.0непряма
npm@rollup/rollup-win32-arm64-msvc4.59.0непряма
npm@rollup/rollup-win32-ia32-msvc4.59.0непряма
npm@rollup/rollup-win32-x64-gnu4.59.0непряма
npm@rollup/rollup-win32-x64-msvc4.59.0непряма
npm@tweenjs/tween.js23.1.3непряма
npm@types/d37.4.3непряма
npm@types/d3-array3.2.2непряма
npm@types/d3-axis3.0.6непряма
npm@types/d3-brush3.0.6непряма
npm@types/d3-chord3.0.6непряма
npm@types/d3-color1.4.5непряма
npm@types/d3-color3.1.3непряма
npm@types/d3-contour3.0.6непряма
npm@types/d3-delaunay6.0.4непряма
npm@types/d3-dispatch3.0.7непряма
npm@types/d3-drag3.0.7непряма
npm@types/d3-dsv3.0.7непряма
npm@types/d3-ease3.0.2непряма
npm@types/d3-fetch3.0.7непряма
npm@types/d3-force3.0.10непряма
npm@types/d3-format3.0.4непряма
npm@types/d3-geo3.1.0непряма
npm@types/d3-graphviz2.6.10непряма
npm@types/d3-hierarchy1.1.11непряма
npm@types/d3-hierarchy3.1.7непряма
npm@types/d3-interpolate1.4.5непряма
npm@types/d3-interpolate3.0.4непряма
npm@types/d3-path3.1.1непряма
npm@types/d3-polygon3.0.2непряма
npm@types/d3-quadtree3.0.6непряма
npm@types/d3-random3.0.3непряма
npm@types/d3-scale4.0.9непряма
npm@types/d3-scale-chromatic3.1.0непряма
npm@types/d3-selection1.4.7непряма
npm@types/d3-selection3.0.11непряма
npm@types/d3-shape3.1.8непряма
npm@types/d3-time3.0.4непряма
npm@types/d3-time-format4.0.3непряма
npm@types/d3-timer3.0.2непряма
npm@types/d3-transition1.3.6непряма
npm@types/d3-transition3.0.9непряма
npm@types/d3-zoom1.8.7непряма
npm@types/d3-zoom3.0.8непряма
npm@types/deep-equal1.0.4непряма
npm@types/draco3d1.4.10непряма
npm@types/estree1.0.8непряма
npm@types/geojson7946.0.16непряма
npm@types/offscreencanvas2019.7.3непряма
npm@types/prop-types15.7.15непряма
npm@types/react18.3.28непряма
npm@types/react-dom18.3.7непряма
npm@types/react-reconciler0.26.7непряма
npm@types/react-reconciler0.28.9непряма
npm@types/resolve1.20.2непряма
npm@types/stats.js0.17.4непряма
npm@types/three0.183.1непряма
npm@types/trusted-types2.0.7непряма
npm@types/webxr0.5.24непряма
npm@use-gesture/core10.3.1непряма
npm@use-gesture/react10.3.1непряма
npm@vscode-elements/elements1.7.1непряма
npm@vscode-elements/react-elements0.5.0непряма
npm@vscode/codicons0.0.40непряма
npm@webgpu/types0.1.69непряма
npm@xmldom/xmldom0.9.8непряма
npmacorn8.16.0непряма
npmansi-regex6.2.2непряма
npmansi-styles6.2.3непряма
npmarray-buffer-byte-length1.0.2непряма
npmavailable-typed-arrays1.0.7непряма
npmbalanced-match4.0.4непряма
npmbase64-js1.5.1непряма
npmbidi-js1.0.3непряма
npmbrace-expansion5.0.3непряма
npmbuffer6.0.3непряма
npmbuffer-from1.1.2непряма
npmcall-bind1.0.8непряма
npmcall-bind-apply-helpers1.0.2непряма
npmcall-bound1.0.4непряма
npmcamera-controls2.10.1непряма
npmchain-function1.0.1непряма
npmcliui9.0.1непряма
npmclone2.1.2непряма
npmclsx2.1.1непряма
npmcommander13.1.0непряма
npmcommander2.20.3непряма
npmcommander7.2.0непряма
npmcommondir1.0.1непряма
npmconsola2.15.3непряма
npmcross-env7.0.3непряма
npmcross-spawn7.0.6непряма
npmcsstype3.2.3непряма
npmd3-array3.2.4непряма
npmd3-axis3.0.0непряма
npmd3-brush3.0.0непряма
npmd3-chord3.0.1непряма
npmd3-color3.1.0непряма
npmd3-contour4.0.2непряма
npmd3-delaunay6.0.4непряма
npmd3-dispatch3.0.1непряма
npmd3-drag3.0.0непряма
npmd3-dsv3.0.1непряма
npmd3-ease3.0.1непряма
npmd3-fetch3.0.1непряма
npmd3-force3.0.0непряма
npmd3-format3.1.2непряма
npmd3-geo3.1.1непряма
npmd3-hierarchy1.1.9непряма
npmd3-hierarchy3.1.2непряма
npmd3-interpolate3.0.1непряма
npmd3-path1.0.9непряма
npmd3-path3.1.0непряма
npmd3-polygon3.0.1непряма
npmd3-quadtree3.0.1непряма
npmd3-random3.0.1непряма
npmd3-scale4.0.2непряма
npmd3-scale-chromatic3.1.0непряма
npmd3-selection3.0.0непряма
npmd3-shape1.3.7непряма
npmd3-shape3.2.0непряма
npmd3-time3.1.0непряма
npmd3-time-format4.1.0непряма
npmd3-timer3.0.1непряма
npmd3-transition3.0.1непряма
npmd3-zoom3.0.0непряма
npmdecimal.js-light2.5.1непряма
npmdeepmerge4.3.1непряма
npmdefine-data-property1.1.4непряма
npmdefine-properties1.2.1непряма
npmdelaunator5.0.1непряма
npmdequal2.0.3непряма
npmdetect-gpu5.0.70непряма
npmdiscontinuous-range1.0.0непряма
npmdom-helpers3.4.0непряма
npmdom-helpers5.2.1непряма
npmdraco3d1.5.7непряма
npmdunder-proto1.0.1непряма
npmemoji-regex10.6.0непряма
npmes-define-property1.0.1непряма
npmes-errors1.3.0непряма
npmes-get-iterator1.1.3непряма
npmes-module-lexer1.7.0непряма
npmes-module-shims1.10.1непряма
npmes-object-atoms1.1.1непряма
npmescalade3.2.0непряма
npmesm3.2.25непряма
npmestree-walker2.0.2непряма
npmeventemitter34.0.7непряма
npmfast-equals5.4.0непряма
npmfdir6.5.0непряма
npmfflate0.6.10непряма
npmfflate0.8.2непряма
npmfor-each0.3.5непряма
npmforeground-child3.3.1непряма
npmfsevents2.3.3непряма
npmfunction-bind1.1.2непряма
npmfunctions-have-names1.2.3непряма
npmget-caller-file2.0.5непряма
npmget-east-asian-width1.6.0непряма
npmget-intrinsic1.3.0непряма
npmget-proto1.0.1непряма
npmglob11.1.0непряма
npmglsl-noise0.0.0непряма
npmgopd1.2.0непряма
npmhas-bigints1.1.0непряма
npmhas-property-descriptors1.0.2непряма
npmhas-symbols1.1.0непряма
npmhas-tostringtag1.0.2непряма
npmhasown2.0.2непряма
npmhls.js1.6.15непряма
npmiconv-lite0.6.3непряма
npmieee7541.2.1непряма
npmimmediate3.0.6непряма
npmimmutable4.3.7непряма
npminternal-slot1.1.0непряма
npminternmap2.0.3непряма
npmis-arguments1.2.0непряма
npmis-array-buffer3.0.5непряма
npmis-bigint1.1.0непряма
npmis-boolean-object1.2.2непряма
npmis-callable1.2.7непряма
npmis-core-module2.16.1непряма
npmis-date-object1.1.0непряма
npmis-map2.0.3непряма
npmis-module1.0.0непряма
npmis-number-object1.1.1непряма
npmis-promise2.2.2непряма
npmis-reference1.2.1непряма
npmis-regex1.2.1непряма
npmis-set2.0.3непряма
npmis-shared-array-buffer1.0.4непряма
npmis-string1.1.1непряма
npmis-symbol1.1.1непряма
npmis-weakmap2.0.2непряма
npmis-weakset2.0.4непряма
npmisarray2.0.5непряма
npmisexe2.0.0непряма
npmits-fine1.2.5непряма
npmjackspeak4.2.3непряма
npmjs-tokens4.0.0непряма
npmlie3.3.0непряма
npmlit3.3.2непряма
npmlit-element4.2.2непряма
npmlit-html3.3.2непряма
npmlodash4.17.23непряма
npmloose-envify1.4.0непряма
npmlru-cache11.2.6непряма
npmmaath0.10.8непряма
npmmagic-string0.30.21непряма
npmmath-intrinsics1.1.0непряма
npmmeshline3.3.1непряма
npmmeshoptimizer1.0.1непряма
npmmhchemparser4.2.1непряма
npmminimatch10.2.4непряма
npmminipass7.1.3непряма
npmmj-context-menu0.6.1непряма
npmmnemonist0.39.8непряма
npmmoo0.5.2непряма
npmnearley2.20.1непряма
npmobject-assign4.1.1непряма
npmobject-inspect1.13.4непряма
npmobject-is1.1.6непряма
npmobject-keys1.1.1непряма
npmobject.assign4.1.7непряма
npmobliterator2.0.5непряма
npmpackage-json-from-dist1.0.1непряма
npmpandemonium2.4.1непряма
npmpath-key3.1.1непряма
npmpath-parse1.0.7непряма
npmpath-scurry2.0.2непряма
npmpicomatch4.0.3непряма
npmpoly-partition1.0.2непряма
npmpossible-typed-array-names1.1.0непряма
npmpotpack1.0.2непряма
npmpromise-worker-transferable1.0.4непряма
npmprop-types15.8.1непряма
npmrailroad-diagrams1.0.0непряма
npmrandexp0.4.6непряма
npmrandombytes2.1.0непряма
npmreact-composer5.0.3непряма
npmreact-is16.13.1непряма
npmreact-is18.3.1непряма
npmreact-lifecycles-compat3.0.4непряма
npmreact-reconciler0.27.0непряма
npmreact-smooth4.0.4непряма
npmreact-transition-group4.4.5непряма
npmreact-use-measure2.1.7непряма
npmrecharts-scale0.4.5непряма
npmrecursive-diff1.0.9непряма
npmregexp.prototype.flags1.5.4непряма
npmrequire-from-string2.0.2непряма
npmresolve1.22.11непряма
npmret0.1.15непряма
npmrobust-predicates3.0.2непряма
npmrollup4.59.0непряма
npmrw1.3.3непряма
npmsafe-buffer5.2.1непряма
npmsafe-regex-test1.1.0непряма
npmsafer-buffer2.1.2непряма
npmscheduler0.21.0непряма
npmscheduler0.23.2непряма
npmseedrandom3.0.5непряма
npmserialize-javascript6.0.2непряма
npmset-function-length1.2.2непряма
npmset-function-name2.0.2непряма
npmshebang-command2.0.0непряма
npmshebang-regex3.0.0непряма
npmside-channel1.1.0непряма
npmside-channel-list1.0.0непряма
npmside-channel-map1.0.1непряма
npmside-channel-weakmap1.0.2непряма
npmsignal-exit4.1.0непряма
npmsmob1.6.1непряма
npmsource-map0.6.1непряма
npmsource-map-support0.5.21непряма
npmspeech-rule-engine4.1.2непряма
npmstats-gl2.4.2непряма
npmstats.js0.17.0непряма
npmstop-iteration-iterator1.1.0непряма
npmstring-width7.2.0непряма
npmstrip-ansi7.2.0непряма
npmsupports-preserve-symlinks-flag1.0.0непряма
npmsuspend-react0.1.3непряма
npmtachyons4.12.0непряма
npmterser5.46.0непряма
npmthree0.170.0непряма
npmthree0.183.1непряма
npmthree-mesh-bvh0.7.8непряма
npmthree-stdlib2.36.1непряма
npmtiny-invariant1.3.3непряма
npmtroika-three-text0.52.4непряма
npmtroika-three-utils0.52.4непряма
npmtroika-worker-utils0.52.0непряма
npmtrue-myth4.1.1непряма
npmtslib2.8.1непряма
npmtunnel-rat0.1.2непряма
npmtypescript5.9.3непряма
npmuse-sync-external-store1.6.0непряма
npmutility-types3.11.0непряма
npmuuid8.3.2непряма
npmvictory-vendor36.9.2непряма
npmvscode-jsonrpc8.2.0непряма
npmvscode-languageserver-types3.17.5непряма
npmwarning3.0.0непряма
npmwebgl-constants1.1.1непряма
npmwebgl-sdf-generator1.1.1непряма
npmwhich2.0.2непряма
npmwhich-boxed-primitive1.1.1непряма
npmwhich-collection1.0.2непряма
npmwhich-typed-array1.1.20непряма
npmwicked-good-xpath1.3.0непряма
npmwrap-ansi9.0.2непряма
npmy18n5.0.8непряма
npmyargs18.0.0непряма
npmyargs-parser22.0.0непряма
npmzustand3.7.2непряма
npmzustand4.5.7непряма
npmzustand5.0.11непряма
Звіт у форматі JSON машиночитний

Зворотний зв’язок

Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.

Повідомлення збережеться під час входу.

Пов’язані записи

Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з leanprover-community/proofwidgets4. Читати поруч →

62midspiral/LemmaScriptverification toolchain for TypeScript (Tech Preview)Помірний78leanprover/std4The "batteries included" extended library for the Lean programming language and theorem proverДобрий78leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem proverДобрий67AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.Добрий62leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.Помірний60lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in LeanПомірний

Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.

Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.11.0 — повна методологія · вікі метрик.

Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — npm.