Öffentliches Register
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-14 05:46 UTC

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

RustLGPL-2.1★ 1.844 Sterne⑂ 91 Forksseit Jan. 2021Auf GitHub ansehen ↗
ArtBibliothekKommandozeilenwerkzeugwie das ermittelt wird
#rust-lang#verification#proof#formal-verification#deductive-reasoning#why3#rust#formal-methods#contracts

creusot-rs/creusot erreicht einen Gesundheitsindex von 93 von 100 und liegt damit im Bereich Außergewöhnlich. Am stärksten schneidet es bei Vitality (96/100) ab, am schwächsten bei Security (57/100). Zuletzt vor 2 Tagen aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

93
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.

93
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 79 wird auf der veröffentlichten Indexskala auf 93 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

Creusot Rust VerifierOrganisation · verifizierte Domain
41 Follower9 öffentliche Reposseit Feb. 2024

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

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlichtTags
crates.iowhy30.13.02012vor 48 Tagenverificationdevelopment-tools
crates.iocreusot-std0.13.016.7725vor 48 Tagenverificationdevelopment-tools
crates.iopearlite-syn0.13.016.66814vor 48 Tagenverificationdevelopment-tools

Metriken nach Kategorie

Vitalität

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

96Außergewöhnlich · 21 % des Gesamtindex

Entwicklungsaktivität

99Außergewöhnlich
Wie die Bewertung erfolgt
36/36Push-Aktualität — letzter Push vor 2 Tagen
35.3/36Commit-Rhythmus — 51/52 Wochen mit Commits
18/18Commit-Volumen — 1.152 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year1.152
human_commit_share1
days_since_last_push2
active_weeks_last_year51

Release-Disziplin

92Exzellent
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 14 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 45 Tagen
19.8/27Release-Rhythmus — ein Release etwa alle 57,1 Tage
0/10OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count14
latest_release_tagv0.13.0
releases_from_tagsnein
days_since_latest_release45
mean_days_between_releases57,1
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

Community & Verbreitung

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

74Gut · 17 % des Gesamtindex

Popularität & Verbreitung

76Gut
Wie die Bewertung erfolgt
53/60Stars — 1.844 Stars
16.3/25Forks — 91 Forks
6.7/15Watcher — 17 Watcher
Verwendete Eingangsdaten
forks91
stars1.844
watchers17
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 (LGPL-2.1)
18/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges7
has_contributingja
has_issue_templatenein
has_code_of_conductnein
readme_badge_servicesshields.io
has_pull_request_templatenein

Ökosystem-Verbreitung (Downloads)

75Gut
Wie die Bewertung erfolgt
60.3/80Downloads pro Monat — 33.460 Downloads/Monat über crates
0/20Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packageswhy3, creusot-std, pearlite-syn
dependents—
ecosystemscrates
total_downloads116.078
monthly_downloads33.460
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.3/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 32 % der Commits
13.5/13.5Breite der Beitragenden — 50 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 12 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor2
contributors_sampled50
top_contributor_share0,318

Reaktionsfähigkeit bei Issues & PRs

78Gut
Wie die Bewertung erfolgt
35.5/42Issue-Lösungsquote — 85 % der Issues geschlossen
28.6/30PR-Annahme — 1.523/1.598 entschiedene PRs gemergt
9.8/13Newcomer PR acceptance — 3/4 PRs von Erstbeitragenden in 30 Tagen gemergt
4.5/15OpenSSF Scorecard: Code-Review — Found 3/10 approved changesets -- score normalized to 3
Verwendete Eingangsdaten
merged_prs1.523
open_issues94
closed_issues516
prs_merged_7d2
prs_decided_7d2
prs_merged_30d16
prs_decided_30d18
issue_closed_ratio0,846
closed_unmerged_prs75
first_time_authors_30d3
first_time_prs_merged_30d3
first_time_prs_decided_30d4

Eigentümerschaft & Trägerschaft

74Gut
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
20/20Verifizierte Domain
11.7/25Reichweite des Inhabers — 41 Follower von creusot-rs
12.4/25Kontohistorie — 9 öffentliche Repos, Kontoalter ca. 2 Jahre
Verwendete Eingangsdaten
followers41
owner_typeOrganization
is_verifiedja
owner_logincreusot-rs
public_repos9
account_age_days936

Paketpflege

100Außergewöhnlich
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 3 Paket(e) auf crates
35/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 48 Tagen
20/20Versionshistorie — 14 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packageswhy3, creusot-std, pearlite-syn
ecosystemscrates
any_deprecatednein
min_days_since_publish48

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

90Exzellent · 19 % des Gesamtindex

Engineering-Praktiken

84Exzellent
Wie die Bewertung erfolgt
24/24CI-Workflows — 3 Workflow(s)
24/24Tests vorhanden
16/16Linter-Konfiguration — creusot-std-proc/Cargo.toml ([lints]), creusot-std/Cargo.toml ([lints]), rustfmt.toml
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 10 out of 10 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://creusot.rs
10/10Repository-Beschreibung
10/10Topics — 9 Topics
10/10Wiki
Verwendete Eingangsdaten
topicsrust-lang, verification, proof, formal-verification, deductive-reasoning, why3, rust, formal-methods, contracts
has_wikija
homepagehttps://creusot.rs
docs_sitehttps://creusot.rs
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

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

57Mittel · 16 % des Gesamtindex

Sicherheitslage

49Schwach
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — keine Daten
2.5/2.5CI-Tests — 10 out of 10 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
2.2/7.5Code-Review — Found 3/10 approved changesets -- score normalized to 3
2.5/2.5Contributors — project has 12 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Lizenz — license file detected
7.5/7.5Maintained — 30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — keine Daten
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 — keine Daten
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
6.8/7.5Vulnerabilities — 1 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate4,9
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Branch-Protection, Packaging, Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

Abhängigkeits-Advisories

89Exzellent
Wie die Bewertung erfolgt
26.6/35Direkte Abhängigkeiten ohne bekannte Advisories — 1 betroffen: anyhow 1.0.102 (unknown)
0/25Indirekte Abhängigkeiten ohne bekannte Advisories — transitive Menge in diesem Bereich nicht von Entwicklungs- und Test-Abhängigkeiten trennbar
40/40Keine offenen Advisories — kein Advisory ist länger als 90 Tage öffentlich
Verwendete Eingangsdaten
sourceosv
advisories1
affected_packages1
assessed_packages176
unassessed_packages40
affected_by_severityunknown 1
direct_affected_packages1
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Indirekte Abhängigkeiten ohne bekannte Advisories. Die verbleibenden Gewichte wurden renormalisiert. 176 aufgelöste Abhängigkeiten wurden mit OSV abgeglichen. 40 konnten nicht bewertet werden — keine aufgelöste Version, ein nicht unterstütztes Ökosystem oder außerhalb der ausgewiesenen Paketliste. Dieses Repository veröffentlicht kein Paket, das der Index auflöst; bewertet wurde daher der Abhängigkeitsgraph des Repositorys. Dieser Graph vermischt Entwicklungs- und Test-Pins mit ausgelieferten Abhängigkeiten, daher werden nur die deklarierten Laufzeit-Abhängigkeiten bewertet; transitive Befunde werden als Kontext ausgewiesen und fließen nicht in die Bewertung ein. 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.

67Gut · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

33Gefährdet
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
33.1/40Lesbare Commit-Historie — 62 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
llms_txt_url—
legible_history_share0,62
agent_instruction_files—
agent_instruction_max_bytes—

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

67Gut
Wie die Bewertung erfolgt
12.6/18Bootstrap mit einem Befehl — Cargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml (Toolchain-Konvention, kein Task-Runner)
22/22Automatisierte Tests
11/11Lint-/Format-Konfiguration — creusot-std-proc/Cargo.toml ([lints]), creusot-std/Cargo.toml ([lints]), rustfmt.toml
11/11Statische Typprüfung — Rust (statisch typisiert)
10/10Reproduzierbare Umgebung — 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
has_dockerfilenein
typed_languageja
bootstrap_files—
has_devcontainernein
has_linter_configja
typecheck_configs—
agent_commit_share0
toolchain_manifestsCargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml, creusot-dev-config/Cargo.toml, creusot-install/Cargo.toml, creusot-metadata/Cargo.toml, creusot-rustc/Cargo.toml, creusot-setup/Cargo.toml, creusot-std-proc/Cargo.toml, creusot-std/Cargo.toml, creusot/Cargo.toml, pearlite-syn/Cargo.toml, prelude-generator/Cargo.toml, tests/Cargo.toml, why3/Cargo.toml, why3tests/Cargo.toml
dependency_bot_commit_share0

AI-Code-Lesbarkeit für Modelle

100Außergewöhnlich
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Rust (statisch typisiert)
54.8/55Handhabbare Dateigrößen — 3/714 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageRust
largest_source_bytes73.319
source_files_sampled714
oversized_source_files3

Maschinenlesbare AI-Schnittstellen

100Außergewöhnlich
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto) — für diese Art von Software nicht anwendbar
0/20MCP-Server — für diese Art von Software nicht anwendbar
40/40Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirsexamples
has_mcp_signalnein
api_schema_files—
interfaces_expected_of—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): API-Schema (OpenAPI/GraphQL/proto), MCP-Server. Die verbleibenden Gewichte wurden renormalisiert.

Eckdaten

1.844GitHub-Sterne
50Mitwirkende
1.152Commits, letzte 12 Monate
2Tage seit letztem Push
14Releases
2Bus-Faktor
94offene 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 'creusot' from its registry
  • Could not fetch crates package 'why3tests' from its registry
  • Could not fetch crates package 'creusot-args' from its registry
  • Could not fetch crates package 'cargo-creusot' from its registry
  • Could not fetch crates package 'creusot-rustc' from its registry

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 91 ⇿
0Sterne
91Forks
14Releases

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.

0204060801009032021-032023-122026-09
Major 0Minor 12Patch 1

Jeder Punkt umfasst 6 Tage.

OpenSSF Scorecard 4.9 / 10
4.9Gesamtwert

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-14 05:45 UTC

10Binary-Artifactsno binaries found in the repo
k. A.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
10CI-Tests10 out of 10 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
3Code-ReviewFound 3/10 approved changesets -- score normalized to 3
10Contributorsproject has 12 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
k. A.Packagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
k. A.Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
9Vulnerabilities1 existing vulnerabilities detected
Direkte Abhängigkeiten 64
RegistryPaketVersionsvorgabeManifest
crates.ioclap4.5cargo-creusot/Cargo.toml
crates.ioserde_json1.0cargo-creusot/Cargo.toml
crates.iotoml0.9cargo-creusot/Cargo.toml
crates.ioenv_logger0.11cargo-creusot/Cargo.toml
crates.ioserde1.0cargo-creusot/Cargo.toml
crates.iocreusot-args—cargo-creusot/Cargo.toml
crates.iocreusot-setup—cargo-creusot/Cargo.toml
crates.ioanyhow1.0cargo-creusot/Cargo.toml
crates.iocargo_metadata0.23cargo-creusot/Cargo.toml
crates.ioglob0.3cargo-creusot/Cargo.toml
crates.iotoml_edit0.24cargo-creusot/Cargo.toml
crates.ioclap4.5creusot-args/Cargo.toml
crates.ioserde1.0creusot-args/Cargo.toml
crates.iocreusot-setup—creusot-dev-config/Cargo.toml
crates.ioanyhow1.0creusot-dev-config/Cargo.toml
crates.iowhich8.0creusot-dev-config/Cargo.toml
crates.ioclap4.5creusot-install/Cargo.toml
crates.iocreusot-setup—creusot-install/Cargo.toml
crates.ioanyhow1.0creusot-install/Cargo.toml
crates.iodirectories6.0creusot-install/Cargo.toml
crates.iosha20.10creusot-install/Cargo.toml
crates.iohex0.4creusot-install/Cargo.toml
crates.iozip8.1.0creusot-install/Cargo.toml
crates.ioindexmap2.7creusot-metadata/Cargo.toml
crates.ioserde_json1.0creusot-rustc/Cargo.toml
crates.iocreusot—creusot-rustc/Cargo.toml
crates.ioenv_logger0.11creusot-rustc/Cargo.toml
crates.ioserde1.0creusot-rustc/Cargo.toml
crates.iocreusot-args—creusot-rustc/Cargo.toml
crates.iocreusot-args—creusot-setup/Cargo.toml
crates.ioserde1.0creusot-setup/Cargo.toml
crates.iotoml0.9creusot-setup/Cargo.toml
crates.iodirectories6.0creusot-setup/Cargo.toml
crates.iowhich8.0creusot-setup/Cargo.toml
crates.ioanyhow1.0creusot-setup/Cargo.toml
crates.ionum_cpus1.17.0creusot-setup/Cargo.toml
crates.ioquote1.0creusot-std-proc/Cargo.toml
crates.iouuid1.12creusot-std-proc/Cargo.toml
crates.iopearlite-syn0.14.0-devcreusot-std-proc/Cargo.toml
crates.iosyn2.0creusot-std-proc/Cargo.toml
crates.ioproc-macro21.0creusot-std-proc/Cargo.toml
crates.iocreusot-std-proc0.14.0-devcreusot-std/Cargo.toml
crates.ioitertools0.14creusot/Cargo.toml
crates.iolog0.4creusot/Cargo.toml
crates.ioserde1.0creusot/Cargo.toml
crates.iopetgraph0.6creusot/Cargo.toml
crates.ioindexmap2.7creusot/Cargo.toml
crates.iowhy3—creusot/Cargo.toml
crates.iocreusot-metadata—creusot/Cargo.toml
crates.iocreusot-args—creusot/Cargo.toml
crates.iopathdiff0.2creusot/Cargo.toml
crates.ioonce_map0.4creusot/Cargo.toml
crates.iosyn2.0pearlite-syn/Cargo.toml
crates.ioproc-macro21.0pearlite-syn/Cargo.toml
crates.ioquote1.0pearlite-syn/Cargo.toml
crates.iocreusot-setup—prelude-generator/Cargo.toml
crates.ioanyhow1.0prelude-generator/Cargo.toml
crates.ioitertools0.14why3/Cargo.toml
crates.iopretty0.12why3/Cargo.toml
crates.ioindexmap2.7why3/Cargo.toml
crates.ioserde1.0why3/Cargo.toml
crates.ionum0.4why3/Cargo.toml
crates.ioserde_json1.0why3/Cargo.toml
crates.iostring-interner0.19why3/Cargo.toml
Alle Abhängigkeiten 216

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

RegistryPaketVersionBeziehung
crates.ioanyhow—direkt
crates.ioanyhow1.0.102direkt
crates.iocargo_metadata—direkt
crates.iocargo_metadata0.23.1direkt
crates.ioclap—direkt
crates.ioclap4.6.1direkt
crates.iocreusot-std-proc—direkt
crates.iodirectories—direkt
crates.iodirectories6.0.0direkt
crates.ioenv_logger—direkt
crates.ioenv_logger0.11.10direkt
crates.ioglob—direkt
crates.ioglob0.3.3direkt
crates.iohex—direkt
crates.iohex0.4.3direkt
crates.ioindexmap—direkt
crates.ioindexmap2.14.0direkt
crates.ioitertools—direkt
crates.ioitertools0.14.0direkt
crates.iolog—direkt
crates.iolog0.4.29direkt
crates.ionum—direkt
crates.ionum0.4.3direkt
crates.ionum_cpus—direkt
crates.ionum_cpus1.17.0direkt
crates.ioonce_map—direkt
crates.ioonce_map0.4.24direkt
crates.iopathdiff—direkt
crates.iopathdiff0.2.3direkt
crates.iopearlite-syn—direkt
crates.iopetgraph—direkt
crates.iopetgraph0.6.5direkt
crates.iopretty—direkt
crates.iopretty0.12.5direkt
crates.ioproc-macro2—direkt
crates.ioproc-macro21.0.106direkt
crates.ioquote—direkt
crates.ioquote1.0.45direkt
crates.ioserde—direkt
crates.ioserde1.0.228direkt
crates.ioserde_json—direkt
crates.ioserde_json1.0.151direkt
crates.iosha2—direkt
crates.iosha20.10.9direkt
crates.iostring-interner—direkt
crates.iostring-interner0.19.0direkt
crates.iosyn—direkt
crates.iosyn2.0.117direkt
crates.iotoml—direkt
crates.iotoml0.9.12+spec-1.1.0direkt
crates.iotoml_edit—direkt
crates.iotoml_edit0.24.1+spec-1.1.0direkt
crates.iouuid—direkt
crates.iouuid1.23.1direkt
crates.iowhich—direkt
crates.iowhich8.0.2direkt
crates.iozip—direkt
crates.iozip8.5.1direkt
crates.ioadler22.0.1indirekt
crates.ioahash0.8.12indirekt
crates.ioaho-corasick1.1.4indirekt
crates.ioanstream1.0.0indirekt
crates.ioanstyle1.0.14indirekt
crates.ioanstyle-parse1.0.0indirekt
crates.ioanstyle-query1.1.5indirekt
crates.ioanstyle-wincon3.0.11indirekt
crates.ioarrayvec0.5.2indirekt
crates.ioautocfg1.5.0indirekt
crates.iobit-set0.8.0indirekt
crates.iobit-vec0.8.0indirekt
crates.iobitflags2.11.1indirekt
crates.ioblock-buffer0.10.4indirekt
crates.iobumpalo3.20.2indirekt
crates.iocamino1.2.2indirekt
crates.iocargo-platform0.3.3indirekt
crates.iocfg-if1.0.4indirekt
crates.ioclap_builder4.6.0indirekt
crates.ioclap_derive4.6.1indirekt
crates.ioclap_lex1.1.0indirekt
crates.iocolorchoice1.0.5indirekt
crates.ioconsole0.16.3indirekt
crates.iocpufeatures0.2.17indirekt
crates.iocrc32fast1.5.0indirekt
crates.iocrypto-common0.1.7indirekt
crates.iodigest0.10.7indirekt
crates.iodirs-sys0.5.0indirekt
crates.ioeither1.15.0indirekt
crates.ioencode_unicode1.0.0indirekt
crates.ioenv_filter1.0.1indirekt
crates.ioequivalent1.0.2indirekt
crates.ioerrno0.3.14indirekt
crates.iofastrand2.4.1indirekt
crates.iofixedbitset0.4.2indirekt
crates.ioflate21.1.9indirekt
crates.iofnv1.0.7indirekt
crates.iofoldhash0.1.5indirekt
crates.iogeneric-array0.14.7indirekt
crates.iogetrandom0.2.17indirekt
crates.iogetrandom0.3.4indirekt
crates.iogetrandom0.4.2indirekt
crates.iohashbrown0.15.5indirekt
crates.iohashbrown0.17.0indirekt
crates.ioheck0.5.0indirekt
crates.iohermit-abi0.5.2indirekt
crates.ioid-arena2.3.0indirekt
crates.ioinsta—indirekt
crates.ioinsta1.47.2indirekt
crates.iois_terminal_polyfill1.70.2indirekt
crates.ioitoa1.0.18indirekt
crates.iojiff0.2.23indirekt
crates.iojiff-static0.2.23indirekt
crates.iojs-sys0.3.95indirekt
crates.ioleb128fmt0.1.0indirekt
crates.iolibc—indirekt
crates.iolibc0.2.185indirekt
crates.iolibredox0.1.16indirekt
crates.iolinux-raw-sys0.12.1indirekt
crates.iolock_api0.4.14indirekt
crates.iomemchr2.8.0indirekt
crates.iominiz_oxide0.8.9indirekt
crates.ionum-bigint0.4.6indirekt
crates.ionum-complex0.4.6indirekt
crates.ionum-integer0.1.46indirekt
crates.ionum-iter0.1.45indirekt
crates.ionum-rational—indirekt
crates.ionum-rational0.4.2indirekt
crates.ionum-traits0.2.19indirekt
crates.ioonce_cell1.21.4indirekt
crates.ioonce_cell_polyfill1.70.2indirekt
crates.iooption-ext0.2.0indirekt
crates.ioparking_lot0.12.5indirekt
crates.ioparking_lot_core0.9.12indirekt
crates.ioportable-atomic1.13.1indirekt
crates.ioportable-atomic-util0.2.7indirekt
crates.ioppv-lite860.2.21indirekt
crates.ioprettyplease0.2.37indirekt
crates.ioproptest—indirekt
crates.ioproptest1.11.0indirekt
crates.ioquick-error1.2.3indirekt
crates.ior-efi5.3.0indirekt
crates.ior-efi6.0.0indirekt
crates.iorand0.9.4indirekt
crates.iorand_chacha0.9.0indirekt
crates.iorand_core0.9.5indirekt
crates.iorand_xorshift0.4.0indirekt
crates.ioredox_syscall0.5.18indirekt
crates.ioredox_users0.5.2indirekt
crates.ioref-cast—indirekt
crates.ioref-cast1.0.25indirekt
crates.ioref-cast-impl1.0.25indirekt
crates.ioregex—indirekt
crates.ioregex1.12.3indirekt
crates.ioregex-automata0.4.14indirekt
crates.ioregex-syntax0.8.10indirekt
crates.ioroxmltree—indirekt
crates.ioroxmltree0.21.1indirekt
crates.iorustix1.1.4indirekt
crates.iorustversion1.0.22indirekt
crates.iorusty-fork0.3.1indirekt
crates.ioscopeguard1.2.0indirekt
crates.iosemver1.0.28indirekt
crates.ioserde_core1.0.228indirekt
crates.ioserde_derive1.0.228indirekt
crates.ioserde_spanned1.1.1indirekt
crates.iosimd-adler320.3.9indirekt
crates.iosimilar—indirekt
crates.iosimilar2.7.0indirekt
crates.iosmallvec1.15.1indirekt
crates.iostable_deref_trait1.2.1indirekt
crates.iostrsim0.11.1indirekt
crates.iotempfile—indirekt
crates.iotempfile3.27.0indirekt
crates.iotermcolor—indirekt
crates.iotermcolor1.4.1indirekt
crates.iothiserror2.0.18indirekt
crates.iothiserror-impl2.0.18indirekt
crates.iotoml_datetime0.7.5+spec-1.1.0indirekt
crates.iotoml_parser1.1.2+spec-1.1.0indirekt
crates.iotoml_writer1.1.1+spec-1.1.0indirekt
crates.iotyped-arena2.0.2indirekt
crates.iotyped-path0.12.3indirekt
crates.iotypenum1.20.0indirekt
crates.iounarray0.1.4indirekt
crates.iounicode-ident1.0.24indirekt
crates.iounicode-width0.2.2indirekt
crates.iounicode-xid0.2.6indirekt
crates.ioutf8parse0.2.2indirekt
crates.ioversion_check0.9.5indirekt
crates.iowait-timeout0.2.1indirekt
crates.iowasi0.11.1+wasi-snapshot-preview1indirekt
crates.iowasip21.0.3+wasi-0.2.9indirekt
crates.iowasip30.4.0+wasi-0.3.0-rc-2026-01-06indirekt
crates.iowasm-bindgen0.2.118indirekt
crates.iowasm-bindgen-macro0.2.118indirekt
crates.iowasm-bindgen-macro-support0.2.118indirekt
crates.iowasm-bindgen-shared0.2.118indirekt
crates.iowasm-encoder0.244.0indirekt
crates.iowasm-metadata0.244.0indirekt
crates.iowasmparser0.244.0indirekt
crates.iowinapi-util0.1.11indirekt
crates.iowindows-link0.2.1indirekt
crates.iowindows-sys0.61.2indirekt
crates.iowinnow0.7.15indirekt
crates.iowinnow1.0.2indirekt
crates.iowit-bindgen0.51.0indirekt
crates.iowit-bindgen0.57.1indirekt
crates.iowit-bindgen-core0.51.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.iozerocopy0.8.48indirekt
crates.iozerocopy-derive0.8.48indirekt
crates.iozlib-rs0.6.3indirekt
crates.iozmij1.0.21indirekt
crates.iozopfli0.8.3indirekt
Abhängigkeits-Advisories 1

Dieses Repository veröffentlicht kein vom Index auflösbares Paket, daher wurde sein eigener Abhängigkeitsgraph bewertet – 176 Pakete, darunter auch Entwicklungs- und Test-Pins, die nie ausgeliefert werden: 1 tragen bekannte Advisories, davon 1 direkte. 40 konnten nicht bewertet werden – keine aufgelöste Version, ein nicht unterstütztes Ökosystem, oder außerhalb der ausgewiesenen Paketliste.

PaketVersionBeziehungSchweregradAdvisoriesBehoben in
anyhow1.0.102direktunbekannt11.0.103

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 creusot-rs/creusot teilen. Nebeneinander lesen →

96temporalio/sdk-rustTemporal Rust & Core SDKsAußergewöhnlich96slint-ui/slintSlint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.Außergewöhnlich96model-checking/kaniKani Rust VerifierAußergewöhnlich94bazelbuild/rules_rustRust rules for BazelAußergewöhnlich98svix/svix-webhooksThe open source and enterprise-ready webhooks service 🦀Außergewöhnlich98zama-ai/tfhe-rsTFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.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.