Öffentliches Register
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-15 10:06 UTC

cryspen / hax

A Rust verification tool

Rust · OCaml · LeanApache-2.0★ 480 Sterne⑂ 70 Forksseit Jan. 2023Auf GitHub ansehen ↗
ArtBibliothekNetzwerkdienstKommandozeilenwerkzeugwie das ermittelt wird
#formal-verification#rust

cryspen/hax erreicht einen Gesundheitsindex von 94 von 100 und liegt damit im Bereich Außergewöhnlich. Am stärksten schneidet es bei Vitality (93/100) ab, am schwächsten bei Security (63/100). Zuletzt heute aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

94
gesamt / 100
Außergewöhnlich

Software-Gesundheitsindex

Metriken werden auf einer standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.

94
Außergewöhnlich93-100Die Spitzengruppe des Registers (≈ obere 5 %); erfüllt im Wesentlichen alle geprüften Kriterien
Exzellent80-92Durchgehend stark; geringfügige Lücken
Gut65-79Gesund; Lücken sind begrenzt und beherrschbar
Mittel50-64Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Schwach35-49Wesentliche Schwächen in mehreren Bereichen
Gefährdet20-34Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-19Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
VitalitätCommunity &VerbreitungNachhaltigkeit &GovernanceEngineering-QualitätSicherheitAI Readiness

Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.

Der gewichtete Gesamtwert 80 wird auf der veröffentlichten Indexskala auf 94 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

CryspenOrganisation
79 Follower41 öffentliche Reposseit Aug. 2021

Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlicht
crates.iohax-lib0.4.0480.43316vor 7 Tagen
crates.iohax-types0.4.017816vor 7 Tagen
crates.iohax-rust-engine0.4.0498vor 7 Tagen
crates.iohax-bounded-integers0.4.02512vor 7 Tagen

Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?

93Außergewöhnlich · 21 % des Gesamtindex

Entwicklungsaktivität

100Außergewöhnlich
Wie die Bewertung erfolgt
36/36Push-Aktualität — letzter Push vor 0 Tagen
36/36Commit-Rhythmus — 52/52 Wochen mit Commits
18/18Commit-Volumen — 1.793 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year1.793
human_commit_share0,98
days_since_last_push0
active_weeks_last_year52

Release-Disziplin

83Exzellent
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 12 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 7 Tagen
19.8/27Release-Rhythmus — ein Release etwa alle 53,2 Tage
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Verwendete Eingangsdaten
releases_count12
latest_release_tagcargo-hax-v0.4.0
releases_from_tagsnein
days_since_latest_release7
mean_days_between_releases53,2

Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?

74Gut · 17 % des Gesamtindex

Popularität & Verbreitung

64Mittel
Wie die Bewertung erfolgt
43.5/60Stars — 480 Stars
15.3/25Forks — 70 Forks
4.7/15Watcher — 8 Watcher
Verwendete Eingangsdaten
forks70
stars480
watchers8
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Community-Gesundheit

70Gut
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (Apache-2.0)
18/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges5
has_contributingja
has_issue_templatenein
has_code_of_conductnein
readme_badge_servicesshields.io
has_pull_request_templatenein

Ökosystem-Verbreitung (Downloads)

95Außergewöhnlich
Wie die Bewertung erfolgt
75.8/80Downloads pro Monat — 480.685 Downloads/Monat über crates
0/20Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packageshax-lib, hax-types, hax-rust-engine, hax-bounded-integers
dependents—
ecosystemscrates
total_downloads3.318.041
monthly_downloads480.685
unverified_packages_excluded—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Abhängige in der Registry. Die verbleibenden Gewichte wurden renormalisiert.

Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?

77Gut · 23 % des Gesamtindex

Maintainer-Resilienz (Bus-Faktor)

64Mittel
Wie die Bewertung erfolgt
25.2/54Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
15/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 33 % der Commits
13.5/13.5Breite der Beitragenden — 46 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 24 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor2
contributors_sampled46
top_contributor_share0,333

Reaktionsfähigkeit bei Issues & PRs

87Exzellent
Wie die Bewertung erfolgt
32/42Issue-Lösungsquote — 76 % der Issues geschlossen
26.7/30PR-Annahme — 1.076/1.210 entschiedene PRs gemergt
13/13Newcomer PR acceptance — 1/1 PRs von Erstbeitragenden in 30 Tagen gemergt
15/15OpenSSF Scorecard: Code-Review — all changesets reviewed
Verwendete Eingangsdaten
merged_prs1.076
open_issues232
closed_issues747
prs_merged_7d11
prs_decided_7d12
prs_merged_30d56
prs_decided_30d60
issue_closed_ratio0,763
closed_unmerged_prs134
first_time_authors_30d1
first_time_prs_merged_30d1
first_time_prs_decided_30d1

Eigentümerschaft & Trägerschaft

66Gut
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
13.7/25Reichweite des Inhabers — 79 Follower von cryspen
22/25Kontohistorie — 41 öffentliche Repos, Kontoalter ca. 5 Jahre
Verwendete Eingangsdaten
followers79
owner_typeOrganization
is_verifiednein
owner_logincryspen
public_repos41
account_age_days1.861

Paketpflege

100Außergewöhnlich
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 4 Paket(e) auf crates
35/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 7 Tagen
20/20Versionshistorie — 16 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packageshax-lib, hax-types, hax-rust-engine, hax-bounded-integers
ecosystemscrates
any_deprecatednein
min_days_since_publish7

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

90Exzellent · 19 % des Gesamtindex

Engineering-Praktiken

84Exzellent
Wie die Bewertung erfolgt
24/24CI-Workflows — 29 Workflow(s)
24/24Tests vorhanden
16/16Linter-Konfiguration — hax-bounded-integers/Cargo.toml ([lints]), hax-lib/Cargo.toml ([lints]), rustfmt.toml
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 8 out of 8 merged PRs checked by a CI test -- score normalized to 10
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfignein
has_linter_configja
has_precommit_confignein

Dokumentation

100Außergewöhnlich
Wie die Bewertung erfolgt
30/30README
25/25Dokumentationsverzeichnis
15/15Dokumentations-/Homepage-Site — https://hax.cryspen.com
10/10Repository-Beschreibung
10/10Topics — 2 Topics
10/10Wiki
Verwendete Eingangsdaten
topicsformal-verification, rust
has_wikija
homepagehttps://hax.cryspen.com
docs_sitehttps://hax.cryspen.com
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?

63Mittel · 16 % des Gesamtindex

Sicherheitslage

54Mittel
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
3.8/7.5Branch-Protection — branch protection is not maximal on development and all release branches
2.5/2.5CI-Tests — 8 out of 8 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
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 24 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.5/2.5Lizenz — license file detected
7.5/7.5Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
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 — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 11 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate5,4

Abhängigkeits-Advisories

100Außergewöhnlich
Wie die Bewertung erfolgt
35/35Direkte Abhängigkeiten ohne bekannte Advisories — keine direkte Abhängigkeit trägt ein bekanntes Advisory
25/25Indirekte Abhängigkeiten ohne bekannte Advisories — keine indirekte Abhängigkeit trägt ein bekanntes Advisory
0/40Keine offenen Advisories — kein Advisory trägt ein Veröffentlichungsdatum
Verwendete Eingangsdaten
sourceosv
advisories0
affected_packages0
assessed_packages21
unassessed_packages0
affected_by_severitynone
direct_affected_packages0
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Keine offenen Advisories. Die verbleibenden Gewichte wurden renormalisiert. Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von crates:hax-lib@0.4.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 21 Paketen. Erreichbarkeit wird nicht analysiert.

AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.

66Gut · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

55Mittel
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
15/15Maschinenlesbare Doku (llms.txt) — llms.txt wird von der Projektwebsite ausgeliefert (https://docs.docker.com/llms.txt)
40/40Lesbare Commit-Historie — 91 von 98 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtja
llms_txt_urlhttps://docs.docker.com/llms.txt
legible_history_share0,929
agent_instruction_files—
agent_instruction_max_bytes—

AI-Verify-Loop (Build / Test / Typprüfung)

72Gut
Wie die Bewertung erfolgt
18/18Bootstrap mit einem Befehl — docs/manual/fstar/tutorial/proofs/fstar/extraction/Makefile, examples/adc/Makefile, examples/anodized/Makefile, examples/anodized/proofs/anodized/fstar/extraction/Makefile, examples/barrett/Makefile, examples/barrett/proofs/barrett/fstar/extraction/Makefile, examples/chacha20/Makefile, examples/chacha20/proofs/chacha20/fstar/extraction/Makefile, examples/kyber_compress/Makefile, examples/kyber_compress/proofs/kyber-compress/fstar/extraction/Makefile, examples/lean_tutorial/Makefile, examples/limited-order-book/Makefile, examples/limited-order-book/proofs/process-order/fstar/extraction/Makefile, examples/loop_equivalence/Makefile, examples/proverif-psk/Makefile, examples/sha256/Makefile, examples/sha256/proofs/sha256/fstar/extraction/Makefile, examples/sha3/Makefile, hax-lib/core-models/Makefile, hax-lib/core-models/tests/Makefile, hax-lib/core-models/tests/client_test/Makefile, hax-lib/core-models/tests/rust_lean_equiv_test/Makefile, hax-lib/proof-libs/fstar-secret-integers/core/Makefile, hax-lib/proof-libs/fstar-secret-integers/hax_lib/Makefile, hax-lib/proof-libs/fstar-secret-integers/rust_primitives/Makefile, hax-lib/proof-libs/fstar/core/Makefile, hax-lib/proof-libs/fstar/hax_lib/Makefile, hax-lib/proof-libs/fstar/rust_primitives/Makefile, hax-lib/proofs/fstar/extraction/Makefile, justfile
22/22Automatisierte Tests
11/11Lint-/Format-Konfiguration — hax-bounded-integers/Cargo.toml ([lints]), hax-lib/Cargo.toml ([lints]), rustfmt.toml
11/11Statische Typprüfung — Rust (statisch typisiert)
10/10Reproduzierbare Umgebung — Dockerfile, Nix, lockfile
0/10Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100
0/8Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nixja
has_testsja
lockfilesCargo.lock, package-lock.json
has_dockerfileja
typed_languageja
bootstrap_filesdocs/manual/fstar/tutorial/proofs/fstar/extraction/Makefile, examples/adc/Makefile, examples/anodized/Makefile, examples/anodized/proofs/anodized/fstar/extraction/Makefile, examples/barrett/Makefile, examples/barrett/proofs/barrett/fstar/extraction/Makefile, examples/chacha20/Makefile, examples/chacha20/proofs/chacha20/fstar/extraction/Makefile, examples/kyber_compress/Makefile, examples/kyber_compress/proofs/kyber-compress/fstar/extraction/Makefile, examples/lean_tutorial/Makefile, examples/limited-order-book/Makefile, examples/limited-order-book/proofs/process-order/fstar/extraction/Makefile, examples/loop_equivalence/Makefile, examples/proverif-psk/Makefile, examples/sha256/Makefile, examples/sha256/proofs/sha256/fstar/extraction/Makefile, examples/sha3/Makefile, hax-lib/core-models/Makefile, hax-lib/core-models/tests/Makefile, hax-lib/core-models/tests/client_test/Makefile, hax-lib/core-models/tests/rust_lean_equiv_test/Makefile, hax-lib/proof-libs/fstar-secret-integers/core/Makefile, hax-lib/proof-libs/fstar-secret-integers/hax_lib/Makefile, hax-lib/proof-libs/fstar-secret-integers/rust_primitives/Makefile, hax-lib/proof-libs/fstar/core/Makefile, hax-lib/proof-libs/fstar/hax_lib/Makefile, hax-lib/proof-libs/fstar/rust_primitives/Makefile, hax-lib/proofs/fstar/extraction/Makefile, justfile
has_devcontainernein
has_linter_configja
typecheck_configs—
agent_commit_share0
toolchain_manifestsCargo.toml, cli/cargo-hax/Cargo.toml, cli/driver/Cargo.toml, cli/test-driver/Cargo.toml, engine/names/Cargo.toml, engine/names/extract/Cargo.toml, examples/Cargo.toml, examples/adc/Cargo.toml, examples/anodized/Cargo.toml, examples/barrett/Cargo.toml, examples/barrett/proofs/rust/extraction/Cargo.toml, examples/chacha20/Cargo.toml, examples/kyber_compress/Cargo.toml, examples/lean_tutorial/Cargo.toml, examples/limited-order-book/Cargo.toml, examples/loop_equivalence/Cargo.toml, examples/proverif-psk/Cargo.toml, examples/sha256/Cargo.toml, examples/sha3/Cargo.toml, frontend/exporter/Cargo.toml, frontend/exporter/adt-into/Cargo.toml, frontend/exporter/options/Cargo.toml, hax-bounded-integers/Cargo.toml, hax-lib-protocol-macros/Cargo.toml, hax-lib-protocol/Cargo.toml, hax-lib/Cargo.toml, hax-lib/core-models/Cargo.toml, hax-lib/core-models/alloc/Cargo.toml, hax-lib/core-models/core-models/Cargo.toml, hax-lib/core-models/rand_core/Cargo.toml, hax-lib/core-models/rust_primitives/Cargo.toml, hax-lib/core-models/std/Cargo.toml, hax-lib/core-models/tests/Cargo.toml, hax-lib/core-models/tests/client_test/Cargo.toml, hax-lib/core-models/tests/rust_lean_equiv_test/macro/Cargo.toml, hax-lib/core-models/tests/rust_lean_equiv_test/source/Cargo.toml, hax-lib/macros/Cargo.toml, hax-lib/macros/types/Cargo.toml, hax-types/Cargo.toml, rust-engine/Cargo.toml, rust-engine/macros/Cargo.toml, tests/Cargo.toml
dependency_bot_commit_share0

AI-Code-Lesbarkeit für Modelle

99Außergewöhnlich
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Rust (statisch typisiert)
54.2/55Handhabbare Dateigrößen — 6/419 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageRust
largest_source_bytes371.292
source_files_sampled419
oversized_source_files6

Maschinenlesbare AI-Schnittstellen

40Schwach
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto)
0/20MCP-Server
40/40Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirsexamples
has_mcp_signalnein
api_schema_files—
interfaces_expected_ofnetwork-service

Eckdaten

480GitHub-Sterne
46Mitwirkende
1.793Commits, letzte 12 Monate
0Tage seit letztem Push
12Releases
2Bus-Faktor
232offene Issues
crates.ioPaket-Ökosysteme

Warnungen zur Datenerhebung

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'hax-lib-protocol' from its registry
  • Could not fetch crates package 'hax-lib-protocol-macros' from its registry

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 70 ⇿
0Sterne
70Forks
12Releases

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

01325385063756622023-042024-122026-09
Major 0Minor 0Patch 0

Jeder Punkt umfasst 4 Tage.

OpenSSF Scorecard 5.4 / 10
5.4Gesamtwert

Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-09-15 10:05 UTC

10Binary-Artifactsno binaries found in the repo
5Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests8 out of 8 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
10Code-Reviewall changesets reviewed
10Contributorsproject has 24 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow 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
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities11 existing vulnerabilities detected
Direkte Abhängigkeiten 38
RegistryPaketVersionsvorgabeManifest
crates.ioduplicate2.0.1hax-bounded-integers/Cargo.toml
crates.iohax-lib—hax-bounded-integers/Cargo.toml
crates.iopaste1.0.15hax-bounded-integers/Cargo.toml
crates.ioproc-macro2—hax-lib-protocol-macros/Cargo.toml
crates.ioquote—hax-lib-protocol-macros/Cargo.toml
crates.iosyn2.0hax-lib-protocol-macros/Cargo.toml
crates.iolibcrux0.0.2-pre.2hax-lib-protocol/Cargo.toml
crates.iohax-lib-macros—hax-lib/Cargo.toml
crates.ioclap—hax-types/Cargo.toml
crates.iohax-frontend-exporter—hax-types/Cargo.toml
crates.iohax-frontend-exporter-options—hax-types/Cargo.toml
crates.ioitertools—hax-types/Cargo.toml
crates.iopath-clean1.0.1hax-types/Cargo.toml
crates.ioschemars—hax-types/Cargo.toml
crates.ioserde—hax-types/Cargo.toml
crates.iocolored—hax-types/Cargo.toml
crates.ioserde_json—hax-types/Cargo.toml
crates.ioannotate-snippets—hax-types/Cargo.toml
crates.iohax-adt-into—hax-types/Cargo.toml
crates.iotracing—hax-types/Cargo.toml
crates.ioserde-brief0.1hax-types/Cargo.toml
crates.iozstd0.13.1hax-types/Cargo.toml
crates.iomiette7.2.0hax-types/Cargo.toml
crates.iohax-frontend-exporter—rust-engine/Cargo.toml
crates.iohax-rust-engine-macros—rust-engine/Cargo.toml
crates.iohax-lib-macros-types—rust-engine/Cargo.toml
crates.ioserde_json—rust-engine/Cargo.toml
crates.ioserde—rust-engine/Cargo.toml
crates.iohax-types—rust-engine/Cargo.toml
crates.ioschemars—rust-engine/Cargo.toml
crates.ioitertools—rust-engine/Cargo.toml
crates.ioserde_stacker0.1.14rust-engine/Cargo.toml
crates.iopretty0.12rust-engine/Cargo.toml
crates.ioderive_generic_visitor0.3.0rust-engine/Cargo.toml
crates.iopastey0.1.0rust-engine/Cargo.toml
crates.iocamino1.1.11rust-engine/Cargo.toml
crates.ioaxum0.8.7rust-engine/Cargo.toml
crates.iotokio1.48.0rust-engine/Cargo.toml
Alle Abhängigkeiten 611

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 64 direkte und 547 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

RegistryPaketVersionBeziehung
crates.ioannotate-snippets0.11.5direkt
crates.ioaxum—direkt
crates.ioaxum0.8.7direkt
crates.iocamino—direkt
crates.iocamino1.1.12direkt
crates.ioclap4.5.46direkt
crates.iocolored2.2.0direkt
crates.ioderive_generic_visitor—direkt
crates.ioderive_generic_visitor0.3.0direkt
crates.ioduplicate—direkt
crates.ioduplicate2.0.1direkt
crates.ioitertools0.11.0direkt
crates.ioitertools0.13.0direkt
crates.iolibcrux—direkt
crates.iolibcrux0.0.2-pre.2direkt
crates.iomiette—direkt
crates.iomiette7.6.0direkt
crates.iopaste—direkt
crates.iopaste1.0.15direkt
crates.iopastey—direkt
crates.iopastey0.1.1direkt
crates.iopastey0.2.2direkt
crates.iopath-clean—direkt
crates.iopath-clean1.0.1direkt
crates.iopretty—direkt
crates.iopretty0.12.3direkt
crates.iopretty0.12.4direkt
crates.ioproc-macro2—direkt
crates.ioproc-macro21.0.101direkt
crates.ioproc-macro21.0.105direkt
crates.ioproc-macro21.0.106direkt
crates.ioproc-macro21.0.66direkt
crates.ioquote—direkt
crates.ioquote1.0.32direkt
crates.ioquote1.0.33direkt
crates.ioquote1.0.43direkt
crates.ioquote1.0.45direkt
crates.ioquote1.0.46direkt
crates.ioschemars0.8.22direkt
crates.ioserde—direkt
crates.ioserde1.0.192direkt
crates.ioserde1.0.228direkt
crates.ioserde1.0.229direkt
crates.ioserde-brief—direkt
crates.ioserde-brief0.1.1direkt
crates.ioserde_json1.0.108direkt
crates.ioserde_json1.0.143direkt
crates.ioserde_json1.0.149direkt
crates.ioserde_json1.0.151direkt
crates.ioserde_stacker—direkt
crates.ioserde_stacker0.1.14direkt
crates.iosyn—direkt
crates.iosyn1.0.109direkt
crates.iosyn2.0.106direkt
crates.iosyn2.0.114direkt
crates.iosyn2.0.117direkt
crates.iosyn2.0.28direkt
crates.iosyn2.0.39direkt
crates.iosyn3.0.3direkt
crates.iotokio—direkt
crates.iotokio1.49.0direkt
crates.iotracing0.1.41direkt
crates.iozstd—direkt
crates.iozstd0.13.3direkt
crates.ioadler22.0.1indirekt
crates.ioaho-corasick1.1.3indirekt
crates.ioanodized0.5.1indirekt
crates.ioanodized-core0.5.1indirekt
crates.ioanodized-logic0.5.1indirekt
crates.ioanodized-macros0.5.1indirekt
crates.ioanstream0.6.20indirekt
crates.ioanstyle1.0.11indirekt
crates.ioanstyle-parse0.2.7indirekt
crates.ioanstyle-query1.1.4indirekt
crates.ioanstyle-wincon3.0.10indirekt
crates.ioanyhow—indirekt
crates.ioanyhow1.0.100indirekt
crates.ioanyhow1.0.102indirekt
crates.ioanyhow1.0.75indirekt
crates.ioarrayvec0.5.2indirekt
crates.ioascii1.1.0indirekt
crates.ioatomic-waker1.1.2indirekt
crates.ioautocfg1.1.0indirekt
crates.ioautocfg1.5.0indirekt
crates.ioautocfg1.5.1indirekt
crates.ioaxum-core0.5.5indirekt
crates.ioaxum-macros0.5.0indirekt
crates.iobase640.22.1indirekt
crates.iobinread2.2.0indirekt
crates.iobinread_derive2.1.0indirekt
crates.iobit-set0.8.0indirekt
crates.iobit-vec0.8.0indirekt
crates.iobitflags2.11.1indirekt
crates.iobitflags2.13.1indirekt
crates.ioblock-buffer0.10.4indirekt
crates.iobumpalo3.16.0indirekt
crates.iobumpalo3.19.0indirekt
crates.iobumpalo3.19.1indirekt
crates.iobumpalo3.20.2indirekt
crates.iobumpalo3.20.3indirekt
crates.iobyteorder1.5.0indirekt
crates.iobytes1.11.1indirekt
crates.iocandid—indirekt
crates.iocandid0.9.11indirekt
crates.iocandid_derive0.6.4indirekt
crates.iocargo-platform0.1.9indirekt
crates.iocargo_metadata0.15.4indirekt
crates.iocc1.0.83indirekt
crates.iocc1.2.34indirekt
crates.iocc1.2.52indirekt
crates.iocfg-if1.0.0indirekt
crates.iocfg-if1.0.3indirekt
crates.iocfg-if1.0.4indirekt
crates.iochunked_transfer1.5.0indirekt
crates.ioclap_builder4.5.46indirekt
crates.ioclap_derive4.5.45indirekt
crates.ioclap_lex0.7.5indirekt
crates.iocodespan-reporting0.11.1indirekt
crates.iocolorchoice1.0.4indirekt
crates.ioconsole0.16.2indirekt
crates.ioconvert_case0.6.0indirekt
crates.iocore-foundation0.10.1indirekt
crates.iocore-foundation-sys0.8.7indirekt
crates.iocpufeatures0.2.11indirekt
crates.iocpufeatures0.2.17indirekt
crates.iocrc32fast1.3.2indirekt
crates.iocrc32fast1.5.0indirekt
crates.iocrypto-common0.1.6indirekt
crates.iocrypto-common0.1.7indirekt
crates.iodarling0.20.11indirekt
crates.iodarling_core0.20.11indirekt
crates.iodarling_macro0.20.11indirekt
crates.iodata-encoding2.4.0indirekt
crates.ioderive_generic_visitor_macros0.3.0indirekt
crates.iodigest0.10.7indirekt
crates.iodisplaydoc0.2.6indirekt
crates.iodyn-clone1.0.20indirekt
crates.ioeither1.15.0indirekt
crates.ioeither1.9.0indirekt
crates.ioencode_unicode1.0.0indirekt
crates.ioequivalent1.0.1indirekt
crates.ioequivalent1.0.2indirekt
crates.ioerrno0.3.13indirekt
crates.ioerrno0.3.14indirekt
crates.ioext-trait1.0.1indirekt
crates.ioext-trait2.0.1indirekt
crates.ioext-trait-proc_macros1.0.1indirekt
crates.ioext-trait-proc_macros2.0.1indirekt
crates.ioextension-traits—indirekt
crates.ioextension-traits1.0.1indirekt
crates.ioextension-traits2.0.1indirekt
crates.iofastrand2.3.0indirekt
crates.iofastrand2.4.1indirekt
crates.iofiletime0.2.29indirekt
crates.iofind-msvc-tools0.1.7indirekt
crates.ioflate2—indirekt
crates.ioflate21.1.9indirekt
crates.iofnv1.0.7indirekt
crates.iofoldhash0.1.5indirekt
crates.ioform_urlencoded1.2.2indirekt
crates.iofutures—indirekt
crates.iofutures0.3.31indirekt
crates.iofutures-channel0.3.31indirekt
crates.iofutures-core0.3.31indirekt
crates.iofutures-core0.3.33indirekt
crates.iofutures-executor0.3.31indirekt
crates.iofutures-io0.3.31indirekt
crates.iofutures-macro0.3.31indirekt
crates.iofutures-sink0.3.31indirekt
crates.iofutures-task0.3.31indirekt
crates.iofutures-task0.3.33indirekt
crates.iofutures-util0.3.31indirekt
crates.iofutures-util0.3.33indirekt
crates.iogeneric-array0.14.7indirekt
crates.iogetrandom0.2.10indirekt
crates.iogetrandom0.2.11indirekt
crates.iogetrandom0.2.16indirekt
crates.iogetrandom0.2.17indirekt
crates.iogetrandom0.3.3indirekt
crates.iogetrandom0.3.4indirekt
crates.iogetrandom0.4.2indirekt
crates.iogetrandom0.4.3indirekt
crates.iohashbrown0.14.2indirekt
crates.iohashbrown0.15.5indirekt
crates.iohashbrown0.17.0indirekt
crates.ioheck0.5.0indirekt
crates.iohermit-abi0.5.2indirekt
crates.iohex—indirekt
crates.iohex0.4.3indirekt
crates.iohome0.5.11indirekt
crates.iohttp1.4.0indirekt
crates.iohttp-body1.0.1indirekt
crates.iohttp-body-util0.1.3indirekt
crates.iohttparse1.10.1indirekt
crates.iohttpdate1.0.3indirekt
crates.iohyper1.8.1indirekt
crates.iohyper-util0.1.19indirekt
crates.ioic-cdk—indirekt
crates.ioic-cdk0.10.0indirekt
crates.ioic-cdk-macros—indirekt
crates.ioic-cdk-macros0.7.1indirekt
crates.ioic-cdk-macros0.8.1indirekt
crates.ioic00.18.11indirekt
crates.ioicu_collections2.2.0indirekt
crates.ioicu_locale_core2.2.0indirekt
crates.ioicu_normalizer2.2.0indirekt
crates.ioicu_normalizer_data2.2.0indirekt
crates.ioicu_properties2.2.0indirekt
crates.ioicu_properties_data2.2.0indirekt
crates.ioicu_provider2.2.0indirekt
crates.ioid-arena2.3.0indirekt
crates.ioident_case1.0.1indirekt
crates.ioidna1.1.0indirekt
crates.ioidna_adapter1.2.2indirekt
crates.ioindexmap2.1.0indirekt
crates.ioindexmap2.11.0indirekt
crates.ioindexmap2.14.0indirekt
crates.ioindicatif—indirekt
crates.ioindicatif0.18.3indirekt
crates.iois-terminal—indirekt
crates.iois-terminal0.4.16indirekt
crates.iois_terminal_polyfill1.70.1indirekt
crates.ioitoa1.0.15indirekt
crates.ioitoa1.0.17indirekt
crates.ioitoa1.0.18indirekt
crates.ioitoa1.0.9indirekt
crates.iojobserver0.1.32indirekt
crates.iojobserver0.1.34indirekt
crates.iojs-sys0.3.103indirekt
crates.iojs-sys0.3.72indirekt
crates.iojs-sys0.3.77indirekt
crates.iojs-sys0.3.85indirekt
crates.iojs-sys0.3.95indirekt
crates.iolazy_static—indirekt
crates.iolazy_static1.4.0indirekt
crates.iolazy_static1.5.0indirekt
crates.ioleb1280.2.5indirekt
crates.ioleb128fmt0.1.0indirekt
crates.iolibc0.2.147indirekt
crates.iolibc0.2.150indirekt
crates.iolibc0.2.180indirekt
crates.iolibc0.2.186indirekt
crates.iolibc0.2.189indirekt
crates.iolibcrux-hacl0.0.2-pre.2indirekt
crates.iolibcrux-platform0.0.2-pre.2indirekt
crates.iolibjade-sys0.0.2-pre.2indirekt
crates.iolinux-raw-sys0.12.1indirekt
crates.iolinux-raw-sys0.4.15indirekt
crates.iolinux-raw-sys0.9.4indirekt
crates.iolitemap0.8.2indirekt
crates.iolock_api0.4.13indirekt
crates.iolog0.4.22indirekt
crates.iolog0.4.27indirekt
crates.iolog0.4.29indirekt
crates.iomatchers0.1.0indirekt
crates.iomatchit0.8.4indirekt
crates.iomemchr2.6.4indirekt
crates.iomemchr2.7.5indirekt
crates.iomemchr2.7.6indirekt
crates.iomemchr2.8.0indirekt
crates.iomemchr2.8.3indirekt
crates.iomiette-derive7.6.0indirekt
crates.iomime0.3.17indirekt
crates.iominiz_oxide0.8.9indirekt
crates.iomio1.1.1indirekt
crates.iomutants—indirekt
crates.iomutants0.0.3indirekt
crates.ionu-ansi-term0.46.0indirekt
crates.ionum-bigint—indirekt
crates.ionum-bigint0.4.6indirekt
crates.ionum-bigint0.4.8indirekt
crates.ionum-integer0.1.46indirekt
crates.ionum-integer0.1.47indirekt
crates.ionum-traits—indirekt
crates.ionum-traits0.2.19indirekt
crates.ionum_cpus—indirekt
crates.ionum_cpus1.17.0indirekt
crates.ionum_enum0.6.1indirekt
crates.ionum_enum_derive0.6.1indirekt
crates.ioonce_cell1.18.0indirekt
crates.ioonce_cell1.21.3indirekt
crates.ioonce_cell1.21.4indirekt
crates.ioonce_cell_polyfill1.70.1indirekt
crates.ioopenssl-probe0.2.1indirekt
crates.iooverload0.1.1indirekt
crates.ioparking_lot0.12.4indirekt
crates.ioparking_lot_core0.9.11indirekt
crates.iopercent-encoding2.3.2indirekt
crates.iopest—indirekt
crates.iopest2.8.5indirekt
crates.iopest_derive—indirekt
crates.iopest_derive2.8.5indirekt
crates.iopest_generator2.8.5indirekt
crates.iopest_meta2.8.5indirekt
crates.iopin-project-lite0.2.16indirekt
crates.iopin-project-lite0.2.17indirekt
crates.iopin-utils0.1.0indirekt
crates.iopkg-config0.3.32indirekt
crates.ioportable-atomic1.13.1indirekt
crates.iopotential_utf0.1.5indirekt
crates.ioppv-lite860.2.20indirekt
crates.ioppv-lite860.2.21indirekt
crates.ioprettyplease—indirekt
crates.ioprettyplease0.2.37indirekt
crates.ioproc-macro-crate—indirekt
crates.ioproc-macro-crate1.3.1indirekt
crates.ioproc-macro-crate3.3.0indirekt
crates.ioproc-macro-error1.0.4indirekt
crates.ioproc-macro-error-attr1.0.4indirekt
crates.ioproc-macro2-diagnostics0.10.1indirekt
crates.ioproptest—indirekt
crates.ioproptest1.11.0indirekt
crates.iopsm0.1.21indirekt
crates.iopsm0.1.26indirekt
crates.ioquick-error1.2.3indirekt
crates.ior-efi5.3.0indirekt
crates.ior-efi6.0.0indirekt
crates.iorand—indirekt
crates.iorand0.8.5indirekt
crates.iorand0.8.6indirekt
crates.iorand0.9.4indirekt
crates.iorand_chacha0.3.1indirekt
crates.iorand_chacha0.9.0indirekt
crates.iorand_core0.6.4indirekt
crates.iorand_core0.9.5indirekt
crates.iorand_xorshift0.4.0indirekt
crates.ioredox_syscall0.5.17indirekt
crates.ioregex1.11.2indirekt
crates.ioregex-automata0.1.10indirekt
crates.ioregex-automata0.4.10indirekt
crates.ioregex-syntax0.6.29indirekt
crates.ioregex-syntax0.8.10indirekt
crates.ioregex-syntax0.8.6indirekt
crates.ioring0.17.14indirekt
crates.iorustix0.38.44indirekt
crates.iorustix1.0.8indirekt
crates.iorustix1.1.4indirekt
crates.iorustls—indirekt
crates.iorustls0.23.42indirekt
crates.iorustls-native-certs—indirekt
crates.iorustls-native-certs0.8.4indirekt
crates.iorustls-pki-types1.15.0indirekt
crates.iorustls-webpki0.103.13indirekt
crates.iorustup-toolchain—indirekt
crates.iorustup-toolchain0.1.10indirekt
crates.iorustversion1.0.14indirekt
crates.iorustversion1.0.22indirekt
crates.iorustversion1.0.23indirekt
crates.iorusty-fork0.3.1indirekt
crates.ioryu1.0.15indirekt
crates.ioryu1.0.20indirekt
crates.iosame-file1.0.6indirekt
crates.ioschannel0.1.29indirekt
crates.ioschemars_derive0.8.22indirekt
crates.ioscopeguard1.2.0indirekt
crates.iosecurity-framework3.7.0indirekt
crates.iosecurity-framework-sys2.17.0indirekt
crates.iosemver1.0.26indirekt
crates.iosemver1.0.28indirekt
crates.ioserde-jsonlines—indirekt
crates.ioserde-jsonlines0.5.0indirekt
crates.ioserde_bytes0.11.12indirekt
crates.ioserde_core1.0.228indirekt
crates.ioserde_core1.0.229indirekt
crates.ioserde_derive1.0.192indirekt
crates.ioserde_derive1.0.228indirekt
crates.ioserde_derive1.0.229indirekt
crates.ioserde_derive_internals0.29.1indirekt
crates.ioserde_path_to_error0.1.20indirekt
crates.ioserde_spanned0.6.9indirekt
crates.ioserde_tokenstream0.1.7indirekt
crates.ioserde_urlencoded0.7.1indirekt
crates.iosha2—indirekt
crates.iosha20.10.8indirekt
crates.iosha20.10.9indirekt
crates.iosharded-slab0.1.7indirekt
crates.ioshlex—indirekt
crates.ioshlex1.3.0indirekt
crates.iosignal-hook-registry1.4.6indirekt
crates.iosimd-adler320.3.10indirekt
crates.ioslab0.4.12indirekt
crates.iosmallvec1.15.1indirekt
crates.iosocket20.6.2indirekt
crates.iostable_deref_trait1.2.1indirekt
crates.iostacker0.1.15indirekt
crates.iostacker0.1.21indirekt
crates.iostrsim0.11.1indirekt
crates.iosubtle2.6.1indirekt
crates.iosync_wrapper1.0.2indirekt
crates.iosynstructure0.13.2indirekt
crates.iotar—indirekt
crates.iotar0.4.46indirekt
crates.iotempfile—indirekt
crates.iotempfile3.21.0indirekt
crates.iotempfile3.27.0indirekt
crates.iotermcolor1.4.0indirekt
crates.iothiserror1.0.50indirekt
crates.iothiserror1.0.69indirekt
crates.iothiserror2.0.16indirekt
crates.iothiserror-impl1.0.50indirekt
crates.iothiserror-impl1.0.69indirekt
crates.iothiserror-impl2.0.16indirekt
crates.iothread_local1.1.9indirekt
crates.iotiny_http—indirekt
crates.iotiny_http0.12.0indirekt
crates.iotinystr0.8.3indirekt
crates.iotokio-macros2.6.0indirekt
crates.iotoml—indirekt
crates.iotoml0.8.23indirekt
crates.iotoml_datetime0.6.11indirekt
crates.iotoml_datetime0.6.5indirekt
crates.iotoml_edit—indirekt
crates.iotoml_edit0.19.15indirekt
crates.iotoml_edit0.22.27indirekt
crates.iotoml_write0.1.2indirekt
crates.iotower0.5.2indirekt
crates.iotower-layer0.3.3indirekt
crates.iotower-service0.3.3indirekt
crates.iotracing-attributes0.1.30indirekt
crates.iotracing-core0.1.34indirekt
crates.iotracing-log0.1.4indirekt
crates.iotracing-log0.2.0indirekt
crates.iotracing-subscriber0.3.19indirekt
crates.iotracing-tree0.2.5indirekt
crates.iotyped-arena2.0.2indirekt
crates.iotypenum1.17.0indirekt
crates.iotypenum1.19.0indirekt
crates.ioucd-trie0.1.7indirekt
crates.iounarray0.1.4indirekt
crates.iounicode-ident1.0.11indirekt
crates.iounicode-ident1.0.12indirekt
crates.iounicode-ident1.0.18indirekt
crates.iounicode-ident1.0.22indirekt
crates.iounicode-ident1.0.24indirekt
crates.iounicode-segmentation1.12.0indirekt
crates.iounicode-width0.1.11indirekt
crates.iounicode-width0.1.14indirekt
crates.iounicode-width0.2.1indirekt
crates.iounicode-xid0.2.6indirekt
crates.iounit-prefix0.5.2indirekt
crates.iountrusted0.9.0indirekt
crates.ioureq—indirekt
crates.ioureq2.12.1indirekt
crates.iourl2.5.8indirekt
crates.ioutf8_iter1.0.4indirekt
crates.ioutf8parse0.2.2indirekt
crates.iouuid—indirekt
crates.iouuid1.18.0indirekt
crates.iouuid1.19.0indirekt
crates.iouuid1.23.1indirekt
crates.iouuid1.24.0indirekt
crates.iouuid1.4.1indirekt
crates.iouuid1.5.0indirekt
crates.iovaluable0.1.1indirekt
crates.ioversion_check—indirekt
crates.ioversion_check0.9.4indirekt
crates.ioversion_check0.9.5indirekt
crates.iowait-timeout0.2.1indirekt
crates.iowalkdir—indirekt
crates.iowalkdir2.5.0indirekt
crates.iowasi0.11.0+wasi-snapshot-preview1indirekt
crates.iowasi0.11.1+wasi-snapshot-preview1indirekt
crates.iowasi0.14.2+wasi-0.2.4indirekt
crates.iowasip21.0.1+wasi-0.2.4indirekt
crates.iowasip21.0.3+wasi-0.2.9indirekt
crates.iowasip30.4.0+wasi-0.3.0-rc-2026-01-06indirekt
crates.iowasm-bindgen0.2.100indirekt
crates.iowasm-bindgen0.2.108indirekt
crates.iowasm-bindgen0.2.118indirekt
crates.iowasm-bindgen0.2.126indirekt
crates.iowasm-bindgen0.2.95indirekt
crates.iowasm-bindgen-backend0.2.100indirekt
crates.iowasm-bindgen-backend0.2.95indirekt
crates.iowasm-bindgen-macro0.2.100indirekt
crates.iowasm-bindgen-macro0.2.108indirekt
crates.iowasm-bindgen-macro0.2.118indirekt
crates.iowasm-bindgen-macro0.2.126indirekt
crates.iowasm-bindgen-macro0.2.95indirekt
crates.iowasm-bindgen-macro-support0.2.100indirekt
crates.iowasm-bindgen-macro-support0.2.108indirekt
crates.iowasm-bindgen-macro-support0.2.118indirekt
crates.iowasm-bindgen-macro-support0.2.126indirekt
crates.iowasm-bindgen-macro-support0.2.95indirekt
crates.iowasm-bindgen-shared0.2.100indirekt
crates.iowasm-bindgen-shared0.2.108indirekt
crates.iowasm-bindgen-shared0.2.118indirekt
crates.iowasm-bindgen-shared0.2.126indirekt
crates.iowasm-bindgen-shared0.2.95indirekt
crates.iowasm-encoder0.244.0indirekt
crates.iowasm-metadata0.244.0indirekt
crates.iowasmparser0.244.0indirekt
crates.ioweb-time1.1.0indirekt
crates.iowebpki-roots—indirekt
crates.iowebpki-roots0.26.11indirekt
crates.iowebpki-roots1.0.8indirekt
crates.iowhich4.4.2indirekt
crates.iowinapi0.3.9indirekt
crates.iowinapi-i686-pc-windows-gnu0.4.0indirekt
crates.iowinapi-util0.1.11indirekt
crates.iowinapi-util0.1.6indirekt
crates.iowinapi-x86_64-pc-windows-gnu0.4.0indirekt
crates.iowindows-link0.1.3indirekt
crates.iowindows-link0.2.1indirekt
crates.iowindows-sys0.52.0indirekt
crates.iowindows-sys0.59.0indirekt
crates.iowindows-sys0.60.2indirekt
crates.iowindows-sys0.61.2indirekt
crates.iowindows-targets0.52.6indirekt
crates.iowindows-targets0.53.3indirekt
crates.iowindows_aarch64_gnullvm0.52.6indirekt
crates.iowindows_aarch64_gnullvm0.53.0indirekt
crates.iowindows_aarch64_msvc0.52.6indirekt
crates.iowindows_aarch64_msvc0.53.0indirekt
crates.iowindows_i686_gnu0.52.6indirekt
crates.iowindows_i686_gnu0.53.0indirekt
crates.iowindows_i686_gnullvm0.52.6indirekt
crates.iowindows_i686_gnullvm0.53.0indirekt
crates.iowindows_i686_msvc0.52.6indirekt
crates.iowindows_i686_msvc0.53.0indirekt
crates.iowindows_x86_64_gnu0.52.6indirekt
crates.iowindows_x86_64_gnu0.53.0indirekt
crates.iowindows_x86_64_gnullvm0.52.6indirekt
crates.iowindows_x86_64_gnullvm0.53.0indirekt
crates.iowindows_x86_64_msvc0.52.6indirekt
crates.iowindows_x86_64_msvc0.53.0indirekt
crates.iowinnow0.5.19indirekt
crates.iowinnow0.7.13indirekt
crates.iowit-bindgen0.46.0indirekt
crates.iowit-bindgen0.51.0indirekt
crates.iowit-bindgen0.57.1indirekt
crates.iowit-bindgen-core0.51.0indirekt
crates.iowit-bindgen-rt0.39.0indirekt
crates.iowit-bindgen-rust0.51.0indirekt
crates.iowit-bindgen-rust-macro0.51.0indirekt
crates.iowit-component0.244.0indirekt
crates.iowit-parser0.244.0indirekt
crates.iowriteable0.6.3indirekt
crates.ioxattr1.6.1indirekt
crates.ioyoke0.8.3indirekt
crates.ioyoke-derive0.8.2indirekt
crates.iozerocopy0.7.35indirekt
crates.iozerocopy0.8.26indirekt
crates.iozerocopy0.8.33indirekt
crates.iozerocopy0.8.48indirekt
crates.iozerocopy-derive0.7.35indirekt
crates.iozerocopy-derive0.8.26indirekt
crates.iozerocopy-derive0.8.33indirekt
crates.iozerocopy-derive0.8.48indirekt
crates.iozerofrom0.1.8indirekt
crates.iozerofrom-derive0.1.7indirekt
crates.iozeroize1.9.0indirekt
crates.iozerotrie0.2.4indirekt
crates.iozerovec0.11.6indirekt
crates.iozerovec-derive0.11.3indirekt
crates.iozmij1.0.14indirekt
crates.iozmij1.0.21indirekt
crates.iozmij1.0.23indirekt
crates.iozstd-safe7.2.4indirekt
crates.iozstd-sys2.0.15+zstd.1.5.7indirekt
npm@playwright/test1.56.1indirekt
npmansi-styles4.3.0indirekt
npmasync3.2.6indirekt
npmbasic-auth2.0.1indirekt
npmcall-bind-apply-helpers1.0.2indirekt
npmcall-bound1.0.4indirekt
npmchalk4.1.2indirekt
npmcolor-convert2.0.1indirekt
npmcolor-name1.1.4indirekt
npmcorser2.0.1indirekt
npmdebug4.4.3indirekt
npmdunder-proto1.0.1indirekt
npmes-define-property1.0.1indirekt
npmes-errors1.3.0indirekt
npmes-object-atoms1.1.1indirekt
npmeventemitter34.0.7indirekt
npmfollow-redirects1.16.0indirekt
npmfsevents2.3.2indirekt
npmfunction-bind1.1.2indirekt
npmget-intrinsic1.3.0indirekt
npmget-proto1.0.1indirekt
npmgopd1.2.0indirekt
npmhas-flag4.0.0indirekt
npmhas-symbols1.1.0indirekt
npmhasown2.0.2indirekt
npmhe1.2.0indirekt
npmhtml-encoding-sniffer3.0.0indirekt
npmhttp-proxy1.18.1indirekt
npmhttp-server14.1.1indirekt
npmiconv-lite0.6.3indirekt
npmmath-intrinsics1.1.0indirekt
npmmime1.6.0indirekt
npmminimist1.2.8indirekt
npmms2.1.3indirekt
npmobject-inspect1.13.4indirekt
npmopener1.5.2indirekt
npmplaywright1.56.1indirekt
npmplaywright-core1.56.1indirekt
npmportfinder1.0.38indirekt
npmqs6.15.2indirekt
npmrequires-port1.0.0indirekt
npmsafe-buffer5.1.2indirekt
npmsafer-buffer2.1.2indirekt
npmsecure-compare3.0.1indirekt
npmside-channel1.1.0indirekt
npmside-channel-list1.0.0indirekt
npmside-channel-map1.0.1indirekt
npmside-channel-weakmap1.0.2indirekt
npmsupports-color7.2.0indirekt
npmunion0.5.0indirekt
npmurl-join4.0.1indirekt
npmwhatwg-encoding2.0.0indirekt
Abhängigkeits-Advisories 0

Die Installation von crates:hax-lib@0.4.0 zieht 21 Pakete nach sich, direkt und transitiv: 0 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.

Keine bekannten Advisories betreffen die bewerteten Abhängigkeiten.

Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.

JSON-Rohbericht maschinenlesbar

Feedback

Stimmt etwas in diesem Bericht nicht, oder gibt es Gedanken dazu? Falsche Messungen, übersehene Tools, Ideen, Fragen — alles ist willkommen. Jede Nachricht wird gelesen und beantwortet.

Die Nachricht bleibt bei der Anmeldung erhalten.

Verwandte Einträge

Geprüfte Repositories, die Katalog-Tags oder Ökosysteme mit cryspen/hax teilen. Nebeneinander lesen →

100risingwavelabs/risingwaveEvent streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.Außergewöhnlich100modelcontextprotocol/rust-sdkThe official Rust SDK for the Model Context ProtocolAußergewöhnlich99lynx-family/lynx-stackThe frontend framework and toolchain of LynxAußergewöhnlich99Qiskit/qiskitQiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.Außergewöhnlich99ratatui/ratatuiA Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rsAußergewöhnlich99astral-sh/ruffAn extremely fast Python linter and code formatter, written in Rust.Außergewöhnlich

Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.

Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v2.10.0, Schema v0.34.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — crates.io.