Публічний реєстрДобрий
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-09-11 13:48 UTC
cool-japan / oxiz
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
cool-japan/oxiz має індекс здоров’я 73 зі 100, що відповідає смузі «Добрий». Найвищий показник — Engineering Quality (88/100), найнижчий — Security (44/100). Останнє оновлення було 16 днів тому. Більшість нещодавньої роботи виконує один учасник.
73
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
73
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 64 калібровано до 73 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
KitaSanОсобистий обліковий запис
298 підписників77 публічних репозиторіївз груд. 2020 р.COOLJAPAN OU
Цей репозиторій належить особистому обліковому запису. Проєкт з єдиним власником несе більший ризик безперервності, ніж підтримуваний організацією.
Пакетні екосистеми
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація | Теги |
|---|---|---|---|---|---|---|
| crates.io | oxiz | 0.3.3 | 1 915 | 12 | 16 днів тому | logicsatsmtsolververificationalgorithmssciencemathematics |
| crates.io | oxiz-ml | 0.3.3 | 41 | 5 | 16 днів тому | heuristicsmachine-learningneural-networksmtsolveralgorithmsscience |
| crates.io | oxiz-py | 0.2.4 | 6 | 1 | 54 дні тому | bindingspyo3pythonsmtsolveralgorithmsapi-bindingsscience |
| crates.io | oxiz-cli | 0.3.3 | 40 | 13 | 16 днів тому | clismtsmtlibcommand-line-utilities |
| crates.io | oxiz-opt | 0.3.3 | 65 | 13 | 16 днів тому | maxsatmaxsmtomtoptimizationsmtalgorithmsmathematics |
| crates.io | oxiz-sat | 0.3.3 | 2 217 | 13 | 16 днів тому | cdclsatsolveralgorithms |
| crates.io | oxiz-core | 0.3.3 | 2 248 | 13 | 16 днів тому | astlogicsmtalgorithmsdata-structures |
| crates.io | oxiz-math | 0.3.3 | 2 268 | 13 | 16 днів тому | algebramathpolynomialsimplexsmtalgorithmsmathematics |
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
74
Активність розробки
56Помірний
Як обчислюється оцінка
| 28.8/36 | Свіжість push — останній push 16 дн. тому |
| 6.9/36 | Ритм комітів — 10/52 тижнів із комітами |
| 10.3/18 | Обсяг комітів — 13 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 5 commit(s) and 8 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 13 |
| human_commit_share | — |
| days_since_last_push | 16 |
| active_weeks_last_year | 10 |
Дисципліна релізів
100Винятковий
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 13 релізів |
| 36/36 | Свіжість релізів — останній реліз 16 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~22,2 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 13 |
| latest_release_tag | v0.3.3 |
| releases_from_tags | ні |
| days_since_latest_release | 16 |
| mean_days_between_releases | 22,2 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
54
Популярність і впровадження
32У зоні ризику
Як обчислюється оцінка
| 28.4/60 | Зірки — 57 зірок |
| 4/25 | Форки — 4 форків |
| 0/15 | Спостерігачі — 1 спостерігачів |
Використані вхідні дані
| forks | 4 |
| stars | 57 |
| watchers | 1 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
70Добрий
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (Apache-2.0) |
| 18/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| readme_badges | 3 |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| readme_badge_services | shields.io |
| has_pull_request_template | ні |
Як обчислюється оцінка
| 52.6/80 | Щомісячні завантаження — 8 800 завантажень/місяць у crates |
| 0/20 | Залежні пакети в реєстрі — ця екосистема цього не повідомляє |
Використані вхідні дані
| packages | oxiz, oxiz-ml, oxiz-py, oxiz-cli, oxiz-opt, oxiz-sat, oxiz-core, oxiz-math |
| dependents | — |
| ecosystems | crates |
| total_downloads | 50 434 |
| monthly_downloads | 8 800 |
| unverified_packages_excluded | — |
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
58
Стійкість мейнтейнерів (бас-фактор)
13Критичний
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 0/22.5 | Розподіл комітів — головний контриб’ютор — автор 100% комітів |
| 1.4/13.5 | Широта контриб’юторів — 1 контриб’юторів |
| 3/10 | OpenSSF Scorecard: Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 1 |
| top_contributor_share | 1 |
Реактивність на issue та PR
71Добрий
Як обчислюється оцінка
| 40.4/42 | Вирішення issue — закрито 96% issue |
| 0/30 | Прийняття PR — немає вирішених pull request-ів або даних |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/13 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 0 |
| open_issues | 1 |
| closed_issues | 26 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 0 |
| prs_decided_30d | 0 |
| issue_closed_ratio | 0,963 |
| closed_unmerged_prs | 0 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Виключено з оцінювання (немає даних або не застосовно): Прийняття PR, Newcomer PR acceptance. Залишкові ваги перенормовано.
Власність та опіка
65Добрий
Як обчислюється оцінка
| 10/30 | Підтримка власника — особистий (користувацький) обліковий запис |
| 0/20 | Верифікований домен — не застосовно до користувацьких облікових записів |
| 17.8/25 | Охоплення власника — 298 підписників у cool-japan |
| 24.5/25 | Послужний список — 77 публічних репозиторіїв, вік облікового запису ~5 р. |
Використані вхідні дані
| followers | 298 |
| owner_type | User |
| is_verified | — |
| owner_login | cool-japan |
| public_repos | 77 |
| account_age_days | 2 106 |
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.
Супровід пакетів
100Винятковий
Як обчислюється оцінка
| 25/25 | Опубліковано й доступно — 8 пакет(ів) у crates |
| 35/35 | Свіжість публікацій — остання публікація 16 дн. тому |
| 20/20 | Історія версій — 13 опублікованих версій |
| 20/20 | Не застарілий — активний, не deprecated і не yanked |
Використані вхідні дані
| packages | oxiz, oxiz-ml, oxiz-py, oxiz-cli, oxiz-opt, oxiz-sat, oxiz-core, oxiz-math |
| ecosystems | crates |
| any_deprecated | ні |
| min_days_since_publish | 16 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
88
Інженерні практики
80Відмінний
Як обчислюється оцінка
| 24/24 | Процеси CI — 2 процес(ів) CI |
| 24/24 | Наявні тести |
| 16/16 | Конфігурація лінтера — .eslintrc.json, Cargo.toml ([workspace.lints]), clippy.toml, oxiz-cli/Cargo.toml ([lints]), oxiz-core/Cargo.toml ([lints]), oxiz-math/Cargo.toml ([lints]), oxiz-ml/Cargo.toml ([lints]), oxiz-nlsat/Cargo.toml ([lints]), oxiz-opt/Cargo.toml ([lints]), oxiz-proof/Cargo.toml ([lints]), oxiz-py/Cargo.toml ([lints]), oxiz-sat/Cargo.toml ([lints]), oxiz-smtcomp/Cargo.toml ([lints]), oxiz-solver/Cargo.toml ([lints]), oxiz-spacer/Cargo.toml ([lints]), oxiz-theories/Cargo.toml ([lints]), oxiz-time/Cargo.toml ([lints]), oxiz-wasm/Cargo.toml ([lints]), oxiz/Cargo.toml ([lints]) |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — немає даних |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | так |
| has_precommit_config | ні |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: CI-Tests. Залишкові ваги перенормовано.
Документація
100Винятковий
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://github.com/cool-japan/oxiz |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 9 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | rust, rust-lang, smt, z3, z3-solver, math, mathematics, pure-rust, rust-crate |
| has_wiki | так |
| homepage | https://github.com/cool-japan/oxiz |
| docs_site | https://github.com/cool-japan/oxiz |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
44
Стан безпеки
44Слабкий
Як обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 0/2.5 | CI-Tests — немає даних |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/13 approved changesets -- score normalized to 0 |
| 0.8/2.5 | Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 7.5/7.5 | Maintained — 5 commit(s) and 8 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 3.8/7.5 | Vulnerabilities — 5 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4,4 |
Виключено з оцінювання (немає даних або не застосовно): CI-Tests, Signed-Releases. Залишкові ваги перенормовано.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
53
Контекст і настанови для агентів
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 | — |
Виключено з оцінювання (немає даних або не застосовно): Читабельна історія комітів. Залишкові ваги перенормовано.
Як обчислюється оцінка
| 12.6/18 | Розгортання однією командою — Cargo.toml, bench/profile/Cargo.toml, bench/regression/Cargo.toml (домовленість інструментарію, без раннера задач) |
| 22/22 | Автоматизовані тести |
| 11/11 | Конфігурація лінтера / форматера — .eslintrc.json, Cargo.toml ([workspace.lints]), clippy.toml, oxiz-cli/Cargo.toml ([lints]), oxiz-core/Cargo.toml ([lints]), oxiz-math/Cargo.toml ([lints]), oxiz-ml/Cargo.toml ([lints]), oxiz-nlsat/Cargo.toml ([lints]), oxiz-opt/Cargo.toml ([lints]), oxiz-proof/Cargo.toml ([lints]), oxiz-py/Cargo.toml ([lints]), oxiz-sat/Cargo.toml ([lints]), oxiz-smtcomp/Cargo.toml ([lints]), oxiz-solver/Cargo.toml ([lints]), oxiz-spacer/Cargo.toml ([lints]), oxiz-theories/Cargo.toml ([lints]), oxiz-time/Cargo.toml ([lints]), oxiz-wasm/Cargo.toml ([lints]), oxiz/Cargo.toml ([lints]) |
| 11/11 | Статична перевірка типів — oxiz-vscode/tsconfig.json, oxiz-wasm/examples/tsconfig.json, oxiz-wasm/examples/typescript/tsconfig.json, oxiz-wasm/wrappers/react/tsconfig.json, oxiz-wasm/wrappers/svelte/tsconfig.json, oxiz-wasm/wrappers/vue/tsconfig.json |
| 10/10 | Відтворюване середовище — Dockerfile, lockfile |
| 0/10 | Підтверджена практика роботи з агентами — немає даних |
| 0/8 | Автоматизоване супроводження — немає даних |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | Cargo.lock |
| has_dockerfile | так |
| typed_language | так |
| bootstrap_files | — |
| has_devcontainer | ні |
| has_linter_config | так |
| typecheck_configs | oxiz-vscode/tsconfig.json, oxiz-wasm/examples/tsconfig.json, oxiz-wasm/examples/typescript/tsconfig.json, oxiz-wasm/wrappers/react/tsconfig.json, oxiz-wasm/wrappers/svelte/tsconfig.json, oxiz-wasm/wrappers/vue/tsconfig.json |
| agent_commit_share | — |
| toolchain_manifests | Cargo.toml, bench/profile/Cargo.toml, bench/regression/Cargo.toml, bench/z3_parity/Cargo.toml, fuzz/Cargo.toml, oxiz-cli/Cargo.toml, oxiz-core/Cargo.toml, oxiz-math/Cargo.toml, oxiz-ml/Cargo.toml, oxiz-nlsat/Cargo.toml, oxiz-opt/Cargo.toml, oxiz-proof/Cargo.toml, oxiz-py/Cargo.toml, oxiz-sat/Cargo.toml, oxiz-smtcomp/Cargo.toml, oxiz-solver/Cargo.toml, oxiz-spacer/Cargo.toml, oxiz-theories/Cargo.toml, oxiz-time/Cargo.toml, oxiz-wasm/Cargo.toml, oxiz-wasm/fuzz/Cargo.toml, oxiz/Cargo.toml |
| dependency_bot_commit_share | — |
Виключено з оцінювання (немає даних або не застосовно): Підтверджена практика роботи з агентами, Автоматизоване супроводження. Залишкові ваги перенормовано.
Читабельність коду для моделей
98Винятковий
Як обчислюється оцінка
| 45/45 | Типізований код — Rust (статично типізована) |
| 53.4/55 | Керовані розміри файлів — 39/1 373 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Rust |
| largest_source_bytes | 96 756 |
| source_files_sampled | 1 373 |
| oversized_source_files | 39 |
Машиночитні інтерфейси
40Слабкий
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) |
| 0/20 | Сервер MCP |
| 40/40 | Придатні до запуску приклади — examples |
Використані вхідні дані
| example_dirs | examples |
| has_mcp_signal | ні |
| api_schema_files | — |
| interfaces_expected_of | network-service |
Ключові факти
57зірок GitHub
1контриб'юторів
13комітів за останні 12 місяців
16днів від останнього пушу
13релізів
1бас-фактор
1відкритих issue
crates.io, npm, PyPIпакетних екосистем
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Докладніше
Історія зірок і форків 0 ★ / 4 ⇿
0Зірки
4Форки
2Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 0Патчі 2
OpenSSF Scorecard 4.4 / 10
4.4сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| н/д | CI-Tests | no pull request found |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/13 approved changesets -- score normalized to 0 |
| 3 | Contributors | project has 1 contributing companies or organizations -- score normalized to 3 |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 5 commit(s) and 8 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| н/д | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 5 | Vulnerabilities | 5 existing vulnerabilities detected |
Прямі залежності 206
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| crates.io | oxiz-core | — | oxiz-cli/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-cli/Cargo.toml |
| crates.io | oxiz-proof | — | oxiz-cli/Cargo.toml |
| crates.io | oxiz-smtcomp | — | oxiz-cli/Cargo.toml |
| crates.io | oxiz-ml | — | oxiz-cli/Cargo.toml |
| crates.io | num-rational | — | oxiz-cli/Cargo.toml |
| crates.io | clap | — | oxiz-cli/Cargo.toml |
| crates.io | clap_complete | — | oxiz-cli/Cargo.toml |
| crates.io | tracing | — | oxiz-cli/Cargo.toml |
| crates.io | tracing-subscriber | — | oxiz-cli/Cargo.toml |
| crates.io | rustyline | — | oxiz-cli/Cargo.toml |
| crates.io | serde | — | oxiz-cli/Cargo.toml |
| crates.io | serde_json | — | oxiz-cli/Cargo.toml |
| crates.io | serde_yaml | — | oxiz-cli/Cargo.toml |
| crates.io | owo-colors | — | oxiz-cli/Cargo.toml |
| crates.io | indicatif | — | oxiz-cli/Cargo.toml |
| crates.io | walkdir | — | oxiz-cli/Cargo.toml |
| crates.io | globset | — | oxiz-cli/Cargo.toml |
| crates.io | notify | — | oxiz-cli/Cargo.toml |
| crates.io | sysinfo | — | oxiz-cli/Cargo.toml |
| crates.io | rayon | — | oxiz-cli/Cargo.toml |
| crates.io | dirs | — | oxiz-cli/Cargo.toml |
| crates.io | tower-lsp | — | oxiz-cli/Cargo.toml |
| crates.io | tokio | — | oxiz-cli/Cargo.toml |
| crates.io | anyhow | — | oxiz-cli/Cargo.toml |
| crates.io | chrono | — | oxiz-cli/Cargo.toml |
| crates.io | axum | — | oxiz-cli/Cargo.toml |
| crates.io | tower | — | oxiz-cli/Cargo.toml |
| crates.io | tower-http | — | oxiz-cli/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-cli/Cargo.toml |
| crates.io | indexmap | — | oxiz-core/Cargo.toml |
| crates.io | thiserror | — | oxiz-core/Cargo.toml |
| crates.io | tracing | — | oxiz-core/Cargo.toml |
| crates.io | smallvec | — | oxiz-core/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-core/Cargo.toml |
| crates.io | num-rational | — | oxiz-core/Cargo.toml |
| crates.io | num-bigint | — | oxiz-core/Cargo.toml |
| crates.io | num-traits | — | oxiz-core/Cargo.toml |
| crates.io | num-integer | — | oxiz-core/Cargo.toml |
| crates.io | hashbrown | — | oxiz-core/Cargo.toml |
| crates.io | portable-atomic | — | oxiz-core/Cargo.toml |
| crates.io | portable-atomic-util | — | oxiz-core/Cargo.toml |
| crates.io | oxiz-math | — | oxiz-core/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-core/Cargo.toml |
| crates.io | lasso | — | oxiz-core/Cargo.toml |
| crates.io | bumpalo | — | oxiz-core/Cargo.toml |
| crates.io | winnow | — | oxiz-core/Cargo.toml |
| crates.io | rhai | — | oxiz-core/Cargo.toml |
| crates.io | wide | — | oxiz-core/Cargo.toml |
| crates.io | rayon | — | oxiz-core/Cargo.toml |
| crates.io | parking_lot | — | oxiz-core/Cargo.toml |
| crates.io | num-rational | — | oxiz-math/Cargo.toml |
| crates.io | num-bigint | — | oxiz-math/Cargo.toml |
| crates.io | num-traits | — | oxiz-math/Cargo.toml |
| crates.io | num-integer | — | oxiz-math/Cargo.toml |
| crates.io | smallvec | — | oxiz-math/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-math/Cargo.toml |
| crates.io | thiserror | — | oxiz-math/Cargo.toml |
| crates.io | rand | — | oxiz-math/Cargo.toml |
| crates.io | hashbrown | — | oxiz-math/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-math/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-ml/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz-ml/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-ml/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-ml/Cargo.toml |
| crates.io | num-traits | — | oxiz-ml/Cargo.toml |
| crates.io | num-bigint | — | oxiz-ml/Cargo.toml |
| crates.io | num-rational | — | oxiz-ml/Cargo.toml |
| crates.io | indexmap | — | oxiz-ml/Cargo.toml |
| crates.io | smallvec | — | oxiz-ml/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-ml/Cargo.toml |
| crates.io | rayon | — | oxiz-ml/Cargo.toml |
| crates.io | serde | — | oxiz-ml/Cargo.toml |
| crates.io | serde_json | — | oxiz-ml/Cargo.toml |
| crates.io | thiserror | — | oxiz-ml/Cargo.toml |
| crates.io | anyhow | — | oxiz-ml/Cargo.toml |
| crates.io | rand | — | oxiz-ml/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-nlsat/Cargo.toml |
| crates.io | oxiz-math | — | oxiz-nlsat/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-nlsat/Cargo.toml |
| crates.io | num-rational | — | oxiz-nlsat/Cargo.toml |
| crates.io | num-bigint | — | oxiz-nlsat/Cargo.toml |
| crates.io | num-traits | — | oxiz-nlsat/Cargo.toml |
| crates.io | smallvec | — | oxiz-nlsat/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-nlsat/Cargo.toml |
| crates.io | thiserror | — | oxiz-nlsat/Cargo.toml |
| crates.io | tracing | — | oxiz-nlsat/Cargo.toml |
| crates.io | rayon | — | oxiz-nlsat/Cargo.toml |
| crates.io | num_cpus | — | oxiz-nlsat/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-opt/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz-opt/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-opt/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-opt/Cargo.toml |
| crates.io | num-rational | — | oxiz-opt/Cargo.toml |
| crates.io | num-bigint | — | oxiz-opt/Cargo.toml |
| crates.io | num-traits | — | oxiz-opt/Cargo.toml |
| crates.io | smallvec | — | oxiz-opt/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-opt/Cargo.toml |
| crates.io | thiserror | — | oxiz-opt/Cargo.toml |
| crates.io | tracing | — | oxiz-opt/Cargo.toml |
| crates.io | rand | — | oxiz-opt/Cargo.toml |
| crates.io | rayon | — | oxiz-opt/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-proof/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-proof/Cargo.toml |
| crates.io | smallvec | — | oxiz-proof/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-proof/Cargo.toml |
| crates.io | thiserror | — | oxiz-proof/Cargo.toml |
| crates.io | tracing | — | oxiz-proof/Cargo.toml |
| crates.io | bumpalo | — | oxiz-proof/Cargo.toml |
| crates.io | regex | — | oxiz-proof/Cargo.toml |
| crates.io | num-rational | — | oxiz-proof/Cargo.toml |
| crates.io | num-bigint | — | oxiz-proof/Cargo.toml |
| crates.io | num-traits | — | oxiz-proof/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz-proof/Cargo.toml |
| crates.io | serde | — | oxiz-proof/Cargo.toml |
| crates.io | oxiz | — | oxiz-py/Cargo.toml |
| crates.io | pyo3 | — | oxiz-py/Cargo.toml |
| crates.io | num-bigint | — | oxiz-py/Cargo.toml |
| crates.io | num-rational | — | oxiz-py/Cargo.toml |
| crates.io | num-traits | — | oxiz-py/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-sat/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-sat/Cargo.toml |
| crates.io | tracing | — | oxiz-sat/Cargo.toml |
| crates.io | smallvec | — | oxiz-sat/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-sat/Cargo.toml |
| crates.io | rayon | — | oxiz-sat/Cargo.toml |
| crates.io | hashbrown | — | oxiz-sat/Cargo.toml |
| crates.io | portable-atomic-util | — | oxiz-sat/Cargo.toml |
| crates.io | libm | — | oxiz-sat/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-smtcomp/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-smtcomp/Cargo.toml |
| crates.io | serde | — | oxiz-smtcomp/Cargo.toml |
| crates.io | serde_json | — | oxiz-smtcomp/Cargo.toml |
| crates.io | serde_yaml | — | oxiz-smtcomp/Cargo.toml |
| crates.io | walkdir | — | oxiz-smtcomp/Cargo.toml |
| crates.io | thiserror | — | oxiz-smtcomp/Cargo.toml |
| crates.io | tracing | — | oxiz-smtcomp/Cargo.toml |
| crates.io | rayon | — | oxiz-smtcomp/Cargo.toml |
| crates.io | rand | — | oxiz-smtcomp/Cargo.toml |
| crates.io | lru | — | oxiz-smtcomp/Cargo.toml |
| crates.io | pdf-writer | — | oxiz-smtcomp/Cargo.toml |
| crates.io | tokio | — | oxiz-smtcomp/Cargo.toml |
| crates.io | axum | — | oxiz-smtcomp/Cargo.toml |
| crates.io | tower-http | — | oxiz-smtcomp/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-solver/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz-solver/Cargo.toml |
| crates.io | oxiz-theories | — | oxiz-solver/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-solver/Cargo.toml |
| crates.io | tracing | — | oxiz-solver/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-solver/Cargo.toml |
| crates.io | smallvec | — | oxiz-solver/Cargo.toml |
| crates.io | num-bigint | — | oxiz-solver/Cargo.toml |
| crates.io | num-rational | — | oxiz-solver/Cargo.toml |
| crates.io | num-traits | — | oxiz-solver/Cargo.toml |
| crates.io | hashbrown | — | oxiz-solver/Cargo.toml |
| crates.io | portable-atomic-util | — | oxiz-solver/Cargo.toml |
| crates.io | rayon | — | oxiz-solver/Cargo.toml |
| crates.io | oxiz-proof | — | oxiz-solver/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-spacer/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-spacer/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-spacer/Cargo.toml |
| crates.io | smallvec | — | oxiz-spacer/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-spacer/Cargo.toml |
| crates.io | thiserror | — | oxiz-spacer/Cargo.toml |
| crates.io | tracing | — | oxiz-spacer/Cargo.toml |
| crates.io | indexmap | — | oxiz-spacer/Cargo.toml |
| crates.io | num-bigint | — | oxiz-spacer/Cargo.toml |
| crates.io | num-rational | — | oxiz-spacer/Cargo.toml |
| crates.io | oxiz-core | — | oxiz-theories/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz-theories/Cargo.toml |
| crates.io | oxiz-math | — | oxiz-theories/Cargo.toml |
| crates.io | oxiz-time | — | oxiz-theories/Cargo.toml |
| crates.io | tracing | — | oxiz-theories/Cargo.toml |
| crates.io | smallvec | — | oxiz-theories/Cargo.toml |
| crates.io | rustc-hash | — | oxiz-theories/Cargo.toml |
| crates.io | num-rational | — | oxiz-theories/Cargo.toml |
| crates.io | num-bigint | — | oxiz-theories/Cargo.toml |
| crates.io | num-integer | — | oxiz-theories/Cargo.toml |
| crates.io | num-traits | — | oxiz-theories/Cargo.toml |
| crates.io | hashbrown | — | oxiz-theories/Cargo.toml |
| crates.io | portable-atomic-util | — | oxiz-theories/Cargo.toml |
| crates.io | egg | — | oxiz-theories/Cargo.toml |
| crates.io | oxiz-nlsat | — | oxiz-theories/Cargo.toml |
| npm | vscode-languageclient | ^9.0.1 | oxiz-vscode/package.json |
| crates.io | oxiz-core | — | oxiz-wasm/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz-wasm/Cargo.toml |
| crates.io | wasm-bindgen | — | oxiz-wasm/Cargo.toml |
| crates.io | wasm-bindgen-futures | — | oxiz-wasm/Cargo.toml |
| crates.io | js-sys | — | oxiz-wasm/Cargo.toml |
| crates.io | console_error_panic_hook | — | oxiz-wasm/Cargo.toml |
| crates.io | getrandom | — | oxiz-wasm/Cargo.toml |
| crates.io | getrandom03 | — | oxiz-wasm/Cargo.toml |
| crates.io | web-sys | — | oxiz-wasm/Cargo.toml |
| crates.io | oxiarc-deflate | — | oxiz-wasm/Cargo.toml |
| crates.io | oxiarc-brotli | — | oxiz-wasm/Cargo.toml |
| crates.io | oxiz-core | — | oxiz/Cargo.toml |
| crates.io | oxiz-math | — | oxiz/Cargo.toml |
| crates.io | oxiz-sat | — | oxiz/Cargo.toml |
| crates.io | oxiz-theories | — | oxiz/Cargo.toml |
| crates.io | oxiz-solver | — | oxiz/Cargo.toml |
| crates.io | num-bigint | — | oxiz/Cargo.toml |
| crates.io | num-traits | — | oxiz/Cargo.toml |
| crates.io | oxiz-nlsat | — | oxiz/Cargo.toml |
| crates.io | oxiz-opt | — | oxiz/Cargo.toml |
| crates.io | oxiz-spacer | — | oxiz/Cargo.toml |
| crates.io | oxiz-proof | — | oxiz/Cargo.toml |
Усі залежності не зібрано
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — crates.io.