rzk-lang / rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
rzk-lang/rzk має індекс здоров’я 32 зі 100, що відповідає смузі «У зоні ризику». Найвищий показник — Engineering Quality (90/100), найнижчий — Security (20/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.
Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 59 калібровано до 63 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02). Політика юрисдикцій високого ризику застосовує множник 50% до зваженого загального індексу здоров’я і встановлює для нього межу «У зоні ризику» на рівні 34.
Власність
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
Активність розробки
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 0 дн. тому |
| 15.9/36 | Ритм комітів — 23/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 625 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 625 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 23 |
Дисципліна релізів
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 39 релізів |
| 36/36 | Свіжість релізів — останній реліз 13 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~33,4 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Використані вхідні дані
| releases_count | 39 |
| latest_release_tag | v0.11.3 |
| releases_from_tags | ні |
| days_since_latest_release | 13 |
| mean_days_between_releases | 33,4 |
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
Популярність і впровадження
Як обчислюється оцінка
| 40/60 | Зірки — 293 зірок |
| 10.5/25 | Форки — 19 форків |
| 5.6/15 | Спостерігачі — 11 спостерігачів |
Використані вхідні дані
| forks | 19 |
| stars | 293 |
| watchers | 11 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
Як обчислюється оцінка
| 22.5/22.5 | README |
| 0/22.5 | Ліцензія — файлу ліцензії не виявлено |
| 0/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | ні |
| readme_badges | 9 |
| has_contributing | ні |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| readme_badge_services | shields.io |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
Стійкість мейнтейнерів (бас-фактор)
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 4/22.5 | Розподіл комітів — головний контриб’ютор — автор 82% комітів |
| 12.2/13.5 | Широта контриб’юторів — 9 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 11 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 9 |
| top_contributor_share | 0,824 |
Реактивність на issue та PR
Як обчислюється оцінка
| 22.3/42 | Вирішення issue — закрито 53% issue |
| 27.9/30 | Прийняття PR — злито 235/253 вирішених PR |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 1.5/15 | OpenSSF Scorecard: Code-Review — Found 1/10 approved changesets -- score normalized to 1 |
Використані вхідні дані
| merged_prs | 235 |
| open_issues | 47 |
| closed_issues | 53 |
| prs_merged_7d | 3 |
| prs_decided_7d | 4 |
| prs_merged_30d | 20 |
| prs_decided_30d | 22 |
| issue_closed_ratio | 0,53 |
| closed_unmerged_prs | 18 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Власність та опіка
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен |
| 11.7/25 | Охоплення власника — 41 підписників у rzk-lang |
| 15.1/25 | Послужний список — 15 публічних репозиторіїв, вік облікового запису ~3 р. |
Використані вхідні дані
| followers | 41 |
| owner_type | Organization |
| is_verified | ні |
| owner_login | rzk-lang |
| public_repos | 15 |
| account_age_days | 1 162 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
Інженерні практики
Як обчислюється оцінка
| 24/24 | Процеси CI — 8 процес(ів) CI |
| 24/24 | Наявні тести |
| 16/16 | Конфігурація лінтера — .eslintrc.cjs |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 10 out of 10 merged PRs checked by a CI test -- score normalized to 10 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | так |
| has_precommit_config | ні |
Документація
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://rzk-lang.github.io/rzk/ |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 4 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | category-theory, homotopy-type-theory, proof-assistant, haskell |
| has_wiki | так |
| homepage | https://rzk-lang.github.io/rzk/ |
| docs_site | https://rzk-lang.github.io/rzk/ |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
Стан безпеки
Виявлено пов’язаність із юрисдикцією високого ризику
Сигнал ґрунтується на публічних локаціях, самостійно вказаних у профілях. Він не визначає національність, громадянство, наміри, санкційний статус чи надійність людини.
Як оцінюється юрисдикційна пов’язаністьЯк обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — немає даних |
| 2.5/2.5 | CI-Tests — 10 out of 10 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0.8/7.5 | Code-Review — Found 1/10 approved changesets -- score normalized to 1 |
| 2.5/2.5 | Contributors — project has 11 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 0/2.5 | Ліцензія — license file not detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — немає даних |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 26 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4,1 |
| high_risk_jurisdiction_cap | 34 |
| high_risk_jurisdiction_multiplier | 50 |
| security_posture_after_multiplier | 20 |
| security_posture_before_jurisdiction | 41 |
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
Контекст і настанови для агентів
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 39.5/40 | Читабельна історія комітів — намір зазначено у 74 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | ні |
| llms_txt_url | — |
| legible_history_share | 0,74 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — rzk/Makefile |
| 22/22 | Автоматизовані тести |
| 11/11 | Конфігурація лінтера / форматера — .eslintrc.cjs |
| 11/11 | Статична перевірка типів — rzk-playground/rzk-lezer/tsconfig.json, rzk-playground/tsconfig.json |
| 10/10 | Відтворюване середовище — Nix, lockfile |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Використані вхідні дані
| has_nix | так |
| has_tests | так |
| lockfiles | package-lock.json |
| has_dockerfile | ні |
| typed_language | так |
| bootstrap_files | rzk/Makefile |
| has_devcontainer | ні |
| has_linter_config | так |
| typecheck_configs | rzk-playground/rzk-lezer/tsconfig.json, rzk-playground/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Читабельність коду для моделей
Як обчислюється оцінка
| 45/45 | Типізований код — Haskell (статично типізована) |
| 55/55 | Керовані розміри файлів — 0/14 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Haskell |
| largest_source_bytes | 12 931 |
| source_files_sampled | 14 |
| oversized_source_files | 0 |
Машиночитні інтерфейси
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення |
| 0/20 | Сервер MCP — не застосовно до цього типу програмного забезпечення |
| 40/40 | Придатні до запуску приклади — examples |
Використані вхідні дані
| example_dirs | examples |
| has_mcp_signal | ні |
| api_schema_files | — |
| interfaces_expected_of | — |
Ключові факти
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch npm package 'rzk-lezer' from its registry
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Докладніше
Історія зірок і форків 0 ★ / 19 ⇿
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Кожна точка охоплює 3 днів.
OpenSSF Scorecard 4.1 / 10
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| н/д | Branch-Protection | internal 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 |
| 10 | CI-Tests | 10 out of 10 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 1 | Code-Review | Found 1/10 approved changesets -- score normalized to 1 |
| 10 | Contributors | project has 11 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 0 | License | license file not detected |
| 10 | Maintained | 30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
| н/д | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 26 existing vulnerabilities detected |
Прямі залежності 9
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| npm | @bjorn3/browser_wasi_shim | ^0.4.1 | rzk-playground/package.json |
| npm | @uiw/react-codemirror | ^4.21.18 | rzk-playground/package.json |
| npm | re-resizable | ^6.9.11 | rzk-playground/package.json |
| npm | react | ^18.2.0 | rzk-playground/package.json |
| npm | react-dom | ^18.2.0 | rzk-playground/package.json |
| npm | react-keybinds | ^1.0.8 | rzk-playground/package.json |
| npm | react-resizable | ^3.0.5 | rzk-playground/package.json |
| npm | rzk-lezer | ./rzk-lezer | rzk-playground/package.json |
| npm | @lezer/lr | ^1.4.0 | rzk-playground/rzk-lezer/package.json |
Усі залежності не зібрано
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.