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

dafny-lang / dafny

Dafny is a verification-aware programming language

C# · DafnyВласна ліцензія★ 3 496 зірок⑂ 322 форкиз квіт. 2016 р.Переглянути на GitHub ↗
ТипІнструмент командного рядкаяк це визначено
#programming-language#verification

dafny-lang/dafny має індекс здоров’я 95 зі 100, що відповідає смузі «Винятковий». Найвищий показник — Engineering Quality (99/100), найнижчий — Security (69/100). Останнє оновлення було 3 дні тому. Більшість нещодавньої роботи виконують 5 учасників.

95
загалом / 100
Винятковий

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

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

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

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

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

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

Власність

DafnyОрганізація
94 підписники22 публічні репозиторіїз черв. 2019 р.

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

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

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

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

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

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

81Відмінний
Як обчислюється оцінка
36/36Свіжість push — останній push 3 дн. тому
18.7/36Ритм комітів — 27/52 тижнів із комітами
16.5/18Обсяг комітів — 68 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year68
human_commit_share0,77
days_since_last_push3
active_weeks_last_year27

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

54Помірний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 52 релізів
0/36Свіжість релізів — останній реліз 1 497 дн. тому
27/27Ритм релізів — реліз кожні ~-68,6 дн.
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Використані вхідні дані
releases_count52
latest_release_tagnightly
releases_from_tagsні
days_since_latest_release1 497
mean_days_between_releases-68,6

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

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

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

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

89Відмінний
Як обчислюється оцінка
57.5/60Зірки — 3 496 зірок
20.9/25Форки — 322 форків
10.4/15Спостерігачі — 74 спостерігачів
Використані вхідні дані
forks322
stars3 496
watchers74
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

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

86Відмінний
Як обчислюється оцінка
22.5/22.5README
16.9/22.5Ліцензія — файл ліцензії наявний, не є визнаною ліцензією
18/18Настанови CONTRIBUTING
13.5/13.5Кодекс поведінки
0/7.2Шаблон issue
6.3/6.3Шаблон PR
Використані вхідні дані
has_readmeтак
has_licenseтак
readme_badges1
has_contributingтак
has_issue_templateні
has_code_of_conductтак
readme_badge_servicesgithub.com
has_pull_request_templateтак

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

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

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

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

88Відмінний
Як обчислюється оцінка
45.9/54Бас-фактор — на 5 контриб’ютор(ів) припадає половина всіх комітів
18.1/22.5Розподіл комітів — головний контриб’ютор — автор 19% комітів
13.5/13.5Широта контриб’юторів — 99 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 34 contributing companies or organizations
Використані вхідні дані
bus_factor5
contributors_sampled99
top_contributor_share0,194

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

77Добрий
Як обчислюється оцінка
25.5/42Вирішення issue — закрито 61% issue
26.8/30Прийняття PR — злито 2 852/3 197 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
15/15OpenSSF Scorecard: Code-Review — all changesets reviewed
Використані вхідні дані
merged_prs2 852
open_issues1 175
closed_issues1 812
prs_merged_7d0
prs_decided_7d0
prs_merged_30d1
prs_decided_30d2
issue_closed_ratio0,607
closed_unmerged_prs345
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

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

83Відмінний
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен — статус підтвердженого домену для цієї організації не зчитано
14.2/25Охоплення власника — 94 підписників у dafny-lang
21.9/25Послужний список — 22 публічних репозиторіїв, вік облікового запису ~7 р.
Використані вхідні дані
followers94
owner_typeOrganization
is_verified—
owner_logindafny-lang
public_repos22
account_age_days2 601
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

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

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

99Винятковий · 19% загального індексу

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

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

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

100Винятковий
Як обчислюється оцінка
30/30README
25/25Каталог документації
15/15Сайт документації / домашня сторінка — https://dafny.org
10/10Опис репозиторію
10/10Теми — 2 тем
10/10Wiki
Використані вхідні дані
topicsprogramming-language, verification
has_wikiтак
homepagehttps://dafny.org
docs_sitehttps://dafny.org
has_readmeтак
has_docs_dirтак
has_descriptionтак

Безпека

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

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

Стан безпеки

61Помірний
Як обчислюється оцінка
5.2/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — немає даних
2.2/2.5CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 34 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.2/2.5Ліцензія — license file detected
7.5/7.5Maintained — 11 commit(s) and 11 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
4.5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate6,1
Виключено з оцінювання (немає даних або не застосовно): Branch-Protection, Packaging. Залишкові ваги перенормовано.

Сповіщення про залежності

100Винятковий
Як обчислюється оцінка
35/35Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
0/25Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі
0/40Немає задавнених сповіщень — жодне сповіщення не має дати публікації
Використані вхідні дані
sourceosv
advisories0
affected_packages0
assessed_packages116
unassessed_packages1
affected_by_severitynone
direct_affected_packages0
Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень, Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено 116 резолвлених залежностей із OSV. 1 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза межами звітованого переліку пакетів. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.

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

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

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

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

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

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

80Відмінний
Як обчислюється оцінка
18/18Розгортання однією командою — Makefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера
11/11Статична перевірка типів — C# (статично типізована)
10/10Відтворюване середовище — lockfile
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
8/8Автоматизоване супроводження — 23 з останніх 100 комітів — автоматичні оновлення залежностей
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfilesCargo.lock, Gemfile.lock, go.sum
has_dockerfileні
typed_languageтак
bootstrap_filesMakefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile
has_devcontainerні
has_linter_configтак
typecheck_configs—
agent_commit_share0
toolchain_manifestsSource/AutoExtern.Test/AutoExtern.Test.csproj, Source/AutoExtern.Test/Minimal/Library.csproj, Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj, Source/AutoExtern.Test/Tutorial/Library/Library.csproj, Source/AutoExtern/AutoExtern.csproj, Source/Dafny/Dafny.csproj, Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj, Source/DafnyCore.Test/DafnyCore.Test.csproj, Source/DafnyCore/DafnyCore.csproj, Source/DafnyDriver.Test/DafnyDriver.Test.csproj, Source/DafnyDriver/DafnyDriver.csproj, Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj, Source/DafnyLanguageServer/DafnyLanguageServer.csproj, Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj, Source/DafnyPipeline/DafnyPipeline.csproj, Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj, Source/DafnyRuntime.Tests/DafnyRuntimeRustTest/Cargo.toml, Source/DafnyRuntime/DafnyRuntime.csproj, Source/DafnyRuntime/DafnyRuntimeGo-gomod/go.mod, Source/DafnyRuntime/DafnyRuntimeJava/build.gradle, Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml, Source/DafnyServer/DafnyServer.csproj, Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj, Source/DafnyTestGeneration/DafnyTestGeneration.csproj, Source/IntegrationTests/IntegrationTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/RunAllTests/RunAllTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/TestAttribute/TestAttribute.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/benchmarks/sequence-race/java/build.gradle.kts, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/manualcompile/ManualCompile.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser-rust/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/translate-additional/project_depending_on_dafny/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/Inputs/producer/TimesTwo.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/consumer/Consumer.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/csharp/SimpleCompiler.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/DafnyModule1/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/publishedruntime/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/singlemodule/dafnysource/go.mod, Source/Scripts/Scripts.csproj, Source/TestDafny/TestDafny.csproj, Source/XUnitExtensions/XUnitExtensions.csproj
dependency_bot_commit_share0,23

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

98Винятковий
Як обчислюється оцінка
45/45Типізований код — C# (статично типізована)
53.4/55Керовані розміри файлів — 34/1 146 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageC#
largest_source_bytes444 150
source_files_sampled1 146
oversized_source_files34

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

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

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

3 496зірок GitHub
99контриб'юторів
68комітів за останні 12 місяців
3днів від останнього пушу
52релізів
5бас-фактор
1 175відкритих issue
RubyGemsпакетних екосистем

Попередження щодо збору даних

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

Докладніше

Історія зірок і форків 0 ★ / 322 ⇿
0Зірки
322Форки
51Релізи

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

012525037530672016-072021-072026-07
Мажорні 3Мінорні 27Патчі 13

Кожна точка охоплює 10 днів.

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

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

7Binary-Artifactsbinaries present in source code
н/дBranch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
9CI-Tests28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
10Code-Reviewall changesets reviewed
10Contributorsproject has 34 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
9Licenselicense file detected
10Maintained11 commit(s) and 11 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
9Security-Policysecurity policy file detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
10Vulnerabilities0 existing vulnerabilities detected
Прямі залежності 103
РеєстрПакетОбмеження версіїМаніфест
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetxunit2.4.2Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetcoverlet.collector3.2.0Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetMicrosoft.Build17.0.0Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Framework17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Locator1.4.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Tasks.Core17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Utilities.Core17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.CSharp4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.CSharp.Workspaces4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.Workspaces.MSBuild4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetxunit2.4.1Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetJetBrains.Annotations2021.1.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.Extensions.FileSystemGlobbing5.0.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.Extensions.Logging.Abstractions5.0.0Source/DafnyCore/DafnyCore.csproj
NuGetNJsonSchema11.1.0Source/DafnyCore/DafnyCore.csproj
NuGetNJsonSchema.Annotations11.1.0Source/DafnyCore/DafnyCore.csproj
NuGetOmniSharp.Extensions.LanguageServer0.19.5Source/DafnyCore/DafnyCore.csproj
NuGetRangeTree3.0.1Source/DafnyCore/DafnyCore.csproj
NuGetSerilog2.12.0Source/DafnyCore/DafnyCore.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/DafnyCore/DafnyCore.csproj
NuGetSystem.Runtime.Numerics4.3.0Source/DafnyCore/DafnyCore.csproj
NuGetSystem.Collections.Immutable1.7.1Source/DafnyCore/DafnyCore.csproj
NuGetBoogie.ExecutionEngine3.5.5Source/DafnyCore/DafnyCore.csproj
NuGetTomlyn0.17.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetOmniSharp.Extensions.JsonRpc0.19.5Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetOmniSharp.Extensions.LanguageProtocol0.19.5Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit2.4.2Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetXunit.AssertMessages2.4.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetMicrosoft.TestPlatform.Extensions.TrxLogger17.9.0Source/DafnyDriver/DafnyDriver.csproj
NuGetMicrosoft.TestPlatform.TestHost17.9.0Source/DafnyDriver/DafnyDriver.csproj
NuGetNewtonsoft.Json13.0.3Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Security.Principal.Windows4.6.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Collections4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Diagnostics.Debug4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.IO.FileSystem.Primitives4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Runtime.Handles4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Runtime.InteropServices4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Text.Encoding.Extensions4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Threading4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetDiffPlex1.7.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.Extensions.Logging.Console5.0.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMoq4.16.1Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetSerilog.Sinks.InMemory0.11.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit2.4.2Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetXunit.AssertMessages2.4.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetOmniSharp.Extensions.LanguageProtocol.Testing0.19.5Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.Extensions.Configuration.CommandLine5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.Extensions.Configuration.Json5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.Extensions.Logging5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetNewtonsoft.Json13.0.3Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetRangeTree3.0.1Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog2.12.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Extensions.Logging3.0.1Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Settings.Configuration3.1.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Sinks.Debug2.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Sinks.File5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Runtime.Handles4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Collections4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Diagnostics.Debug4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.IO.FileSystem.Primitives4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetDiffPlex1.7.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetxunit2.4.2Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetxunit2.4.2Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetcoverlet.collector3.2.0Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetSystem.Runtime.Numerics4.3.0Source/DafnyRuntime/DafnyRuntime.csproj
NuGetSystem.Collections.Immutable1.7.0Source/DafnyRuntime/DafnyRuntime.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit2.4.2Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/IntegrationTests/IntegrationTests.csproj
NuGetxunit2.4.2Source/IntegrationTests/IntegrationTests.csproj
NuGetxunit.runner.visualstudio2.5.1Source/IntegrationTests/IntegrationTests.csproj
NuGetcoverlet.collector3.2.0Source/IntegrationTests/IntegrationTests.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/Scripts/Scripts.csproj
NuGetMicrosoft.CodeAnalysis4.12.0Source/Scripts/Scripts.csproj
NuGetCommandLineParser2.9.1Source/TestDafny/TestDafny.csproj
NuGetxunit2.4.2Source/TestDafny/TestDafny.csproj
NuGetxunit.runner.visualstudio2.4.3Source/TestDafny/TestDafny.csproj
Усі залежності 117

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

РеєстрПакетВерсіяЗв'язок
NuGetBoogie.ExecutionEngine3.5.5пряма
NuGetCommandLineParser2.8.0пряма
NuGetCommandLineParser2.9.1пряма
NuGetcoverlet.collector3.2.0пряма
NuGetDiffPlex1.7.0пряма
NuGetJetBrains.Annotations2021.1.0пряма
NuGetMicrosoft.Build17.0.0пряма
NuGetMicrosoft.Build.Framework17.14.28пряма
NuGetMicrosoft.Build.Locator1.4.1пряма
NuGetMicrosoft.Build.Tasks.Core17.14.28пряма
NuGetMicrosoft.Build.Utilities.Core17.14.28пряма
NuGetMicrosoft.CodeAnalysis4.0.1пряма
NuGetMicrosoft.CodeAnalysis4.12.0пряма
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0пряма
NuGetMicrosoft.CodeAnalysis.CSharp4.0.1пряма
NuGetMicrosoft.CodeAnalysis.CSharp.Workspaces4.0.1пряма
NuGetMicrosoft.CodeAnalysis.Workspaces.MSBuild4.0.1пряма
NuGetMicrosoft.Extensions.Configuration.CommandLine5.0.0пряма
NuGetMicrosoft.Extensions.Configuration.Json5.0.0пряма
NuGetMicrosoft.Extensions.FileSystemGlobbing5.0.0пряма
NuGetMicrosoft.Extensions.Logging5.0.0пряма
NuGetMicrosoft.Extensions.Logging.Abstractions5.0.0пряма
NuGetMicrosoft.Extensions.Logging.Console5.0.0пряма
NuGetMicrosoft.NET.Test.Sdk16.10.0пряма
NuGetMicrosoft.NET.Test.Sdk16.11.0пряма
NuGetMicrosoft.NET.Test.Sdk16.9.4пряма
NuGetMicrosoft.NET.Test.Sdk17.1.0пряма
NuGetMicrosoft.TestPlatform.Extensions.TrxLogger17.9.0пряма
NuGetMicrosoft.TestPlatform.TestHost17.9.0пряма
NuGetMoq4.16.1пряма
NuGetNewtonsoft.Json13.0.3пряма
NuGetNJsonSchema11.1.0пряма
NuGetNJsonSchema.Annotations11.1.0пряма
NuGetOmniSharp.Extensions.JsonRpc0.19.5пряма
NuGetOmniSharp.Extensions.LanguageProtocol0.19.5пряма
NuGetOmniSharp.Extensions.LanguageProtocol.Testing0.19.5пряма
NuGetOmniSharp.Extensions.LanguageServer0.19.5пряма
NuGetRangeTree3.0.1пряма
NuGetSerilog2.12.0пряма
NuGetSerilog.Extensions.Logging3.0.1пряма
NuGetSerilog.Settings.Configuration3.1.0пряма
NuGetSerilog.Sinks.Debug2.0.0пряма
NuGetSerilog.Sinks.File5.0.0пряма
NuGetSerilog.Sinks.InMemory0.11.0пряма
NuGetSystem.Collections4.3.0пряма
NuGetSystem.Collections.Immutable1.7.0пряма
NuGetSystem.Collections.Immutable1.7.1пряма
NuGetSystem.CommandLine2.0.0-beta4.22272.1пряма
NuGetSystem.Diagnostics.Debug4.3.0пряма
NuGetSystem.IO.FileSystem.Primitives4.3.0пряма
NuGetSystem.Runtime.Handles4.3.0пряма
NuGetSystem.Runtime.InteropServices4.3.0пряма
NuGetSystem.Runtime.Numerics4.3.0пряма
NuGetSystem.Security.Principal.Windows4.6.0пряма
NuGetSystem.Text.Encoding.Extensions4.3.0пряма
NuGetSystem.Threading4.3.0пряма
NuGettomlyn0.17.0пряма
NuGetxunit2.4.1пряма
NuGetxunit2.4.2пряма
NuGetXunit.AssertMessages2.4.0пряма
NuGetxunit.extensibility.core2.4.2пряма
NuGetxunit.runner.visualstudio2.4.3пряма
NuGetxunit.runner.visualstudio2.5.1пряма
crates.ioautocfg1.1.0непряма
crates.ioautocfg1.3.0непряма
crates.ioeither1.13.0непряма
crates.ioeither1.9.0непряма
crates.ioitertools0.14.0непряма
crates.ionum0.4.3непряма
crates.ionum-bigint0.4.6непряма
crates.ionum-complex0.4.6непряма
crates.ionum-integer0.1.46непряма
crates.ionum-iter0.1.45непряма
crates.ionum-rational0.4.2непряма
crates.ionum-traits0.2.19непряма
crates.ioonce_cell1.21.3непряма
Gogithub.com/dafny-lang/dafnyruntimego/v44.0.0-20231204230030-1d44519b5706непряма
Gogithub.com/dafny-lang/dafnyruntimego/v44.8.0непряма
Gogomodule10.0.0непряма
NuGetAntlr4.CodeGenerator4.6.6непряма
NuGetAntlr4.Runtime4.6.6непряма
NuGetSystem.Runtime4.3.1непряма
NuGetXunit.SkippableFact1.4.8непряма
PyPIdafnyruntimepython—непряма
RubyGemsaddressable2.9.0непряма
RubyGemscolorator1.1.0непряма
RubyGemsconcurrent-ruby1.3.7непряма
RubyGemsem-websocket0.5.3непряма
RubyGemseventmachine1.2.7непряма
RubyGemsffi1.16.3непряма
RubyGemsforwardable-extended2.6.0непряма
RubyGemsgoogle-protobuf3.25.5непряма
RubyGemshttp_parser.rb0.8.0непряма
RubyGemsi18n1.14.1непряма
RubyGemsjekyll4.3.3непряма
RubyGemsjekyll-feed0.17.0непряма
RubyGemsjekyll-numbered-headings0.1.1непряма
RubyGemsjekyll-sass-converter3.0.0непряма
RubyGemsjekyll-seo-tag2.8.0непряма
RubyGemsjekyll-watch2.2.1непряма
RubyGemskramdown2.4.0непряма
RubyGemskramdown-parser-gfm1.1.0непряма
RubyGemsliquid4.0.4непряма
RubyGemslisten3.8.0непряма
RubyGemsmercenary0.4.0непряма
RubyGemsminima2.5.1непряма
RubyGemspathutil0.16.2непряма
RubyGemspublic_suffix7.0.5непряма
RubyGemsrb-fsevent0.11.2непряма
RubyGemsrb-inotify0.10.1непряма
RubyGemsrexml3.4.2непряма
RubyGemsrouge4.2.0непряма
RubyGemssafe_yaml1.0.5непряма
RubyGemssass-embedded1.69.7непряма
RubyGemsterminal-table3.0.2непряма
RubyGemsunicode-display_width2.5.0непряма
RubyGemswebrick1.8.2непряма
Сповіщення про залежності 0

Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 116 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 0 мають відомі сповіщення, з них 0 прямі. 1 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза наведеним переліком пакетів.

Жодне відоме сповіщення не стосується оцінених залежностей.

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

Звіт у форматі JSON машиночитний

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

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

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

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

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

83assura-lang/assuraContract-first AI-native language. Write what it should do. AI proves it does.Відмінний19leanprover/lean3Lean Theorem ProverКритичний94pact-foundation/pact_brokerEnables your consumer driven contracts workflowВинятковий42akashmaji946/go-mix**Go-Mix** is a high-performance, interpreted programming language implemented in Go. It combines dynamic typing with static safety features, lexical closures, and a comprehensive standard library—perfect for prototyping, education, and embedding as a scripting layer in Go/JS applications.Слабкий14grempe/sirpSecure (interoperable) Remote Password Auth (SRP-6a)Критичний99trufflesecurity/trufflehogFind, verify, and analyze leaked credentialsВинятковий

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

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

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