Öffentliches Register
Software-GesundheitsberichtSchema 0.11.0 · Metriken 2.10.0 · 2026-07-17 09:34 UTC

leanprover-community / proofwidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Lean · TypeScriptApache-2.0★ 216 Sterne⑂ 46 Forksseit Nov. 2022Auf GitHub ansehen ↗
ArtBibliothekWeboberflächewie das ermittelt wird
#lean#lean4#visualization

leanprover-community/proofwidgets4 erreicht einen Gesundheitsindex von 77 von 100 und liegt damit im Bereich Gut. Am stärksten schneidet es bei Vitality (90/100) ab, am schwächsten bei Security (36/100). Zuletzt vor 1 Tag aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

77
gesamt / 100
Gut

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.

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

Eigentümerschaft

leanprover-communityOrganisation
921 Follower107 öffentliche Reposseit Juli 2018

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

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlicht
npm@leanprover-community/proofwidgets40.1.0131vor 581 Tagen

Metriken nach Kategorie

Vitalität

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

90Exzellent · 21 % des Gesamtindex

Entwicklungsaktivität

83Exzellent
Wie die Bewertung erfolgt
36/36Push-Aktualität — letzter Push vor 1 Tagen
20.1/36Commit-Rhythmus — 29/52 Wochen mit Commits
16.6/18Commit-Volumen — 70 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year70
human_commit_share—
days_since_last_push1
active_weeks_last_year29

Release-Disziplin

100Außergewöhnlich
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 100 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 1 Tagen
27/27Release-Rhythmus — ein Release etwa alle 9,9 Tage
0/10OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count100
latest_release_tagv0.0.106
releases_from_tagsnein
days_since_latest_release1
mean_days_between_releases9,9
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?

53Mittel · 17 % des Gesamtindex

Popularität & Verbreitung

56Mittel
Wie die Bewertung erfolgt
37.8/60Stars — 216 Stars
13.8/25Forks — 46 Forks
4.7/15Watcher — 8 Watcher
Verwendete Eingangsdaten
forks46
stars216
watchers8
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Community-Gesundheit

50Mittel
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (Apache-2.0)
0/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges—
has_contributingnein
has_issue_templatenein
has_code_of_conductnein
readme_badge_services—
has_pull_request_templatenein

Nachhaltigkeit & Governance

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

70Gut · 23 % des Gesamtindex

Maintainer-Resilienz (Bus-Faktor)

62Mittel
Wie die Bewertung erfolgt
25.2/54Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
13.6/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 40 % der Commits
13.5/13.5Breite der Beitragenden — 22 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor2
contributors_sampled22
top_contributor_share0,396

Reaktionsfähigkeit bei Issues & PRs

61Mittel
Wie die Bewertung erfolgt
24.4/42Issue-Lösungsquote — 58 % der Issues geschlossen
27.5/30PR-Annahme — 142/155 entschiedene PRs gemergt
0/13Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden
1.5/15OpenSSF Scorecard: Code-Review — Found 4/28 approved changesets -- score normalized to 1
Verwendete Eingangsdaten
merged_prs142
open_issues13
closed_issues18
prs_merged_7d—
prs_decided_7d—
prs_merged_30d—
prs_decided_30d—
issue_closed_ratio0,581
closed_unmerged_prs13
first_time_authors_30d—
first_time_prs_merged_30d—
first_time_prs_decided_30d—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Newcomer PR acceptance. Die verbleibenden Gewichte wurden renormalisiert.

Eigentümerschaft & Trägerschaft

95Außergewöhnlich
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain — Verifizierungsstatus der Domain für diese Organisation nicht ausgelesen
21.3/25Reichweite des Inhabers — 921 Follower von leanprover-community
25/25Kontohistorie — 107 öffentliche Repos, Kontoalter ca. 7 Jahre
Verwendete Eingangsdaten
followers921
owner_typeOrganization
is_verified—
owner_loginleanprover-community
public_repos107
account_age_days2.913
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Verifizierte Domain. Die verbleibenden Gewichte wurden renormalisiert.

Paketpflege

63Mittel
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 1 Paket(e) auf npm
14/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 581 Tagen
4/20Versionshistorie — 1 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packages@leanprover-community/proofwidgets4
ecosystemsnpm
any_deprecatednein
min_days_since_publish581

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

75Gut · 19 % des Gesamtindex

Engineering-Praktiken

68Gut
Wie die Bewertung erfolgt
24/24CI-Workflows — 1 Workflow(s)
24/24Tests vorhanden
0/16Linter-Konfiguration
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfignein
has_linter_confignein
has_precommit_confignein

Dokumentation

85Exzellent
Wie die Bewertung erfolgt
30/30README
25/25Dokumentationsverzeichnis
0/15Dokumentations-/Homepage-Site
10/10Repository-Beschreibung
10/10Topics — 3 Topics
10/10Wiki
Verwendete Eingangsdaten
topicslean, lean4, visualization
has_wikija
homepage—
docs_site—
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

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

36Schwach · 16 % des Gesamtindex

Sicherheitslage

36Schwach
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
2.5/2.5CI-Tests — 25 out of 25 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
0.8/7.5Code-Review — Found 4/28 approved changesets -- score normalized to 1
2.5/2.5Contributors — project has 9 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 — 13 commit(s) and 2 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
0/7.5Vulnerabilities — 15 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate3,6
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Packaging, Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

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.

47Schwach · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

1Kritisch
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
0/40Lesbare Commit-Historie — keine Daten
Verwendete Eingangsdaten
has_llms_txtnein
llms_txt_url—
legible_history_share—
agent_instruction_files—
agent_instruction_max_bytes—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Lesbare Commit-Historie. Die verbleibenden Gewichte wurden renormalisiert.

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

52Mittel
Wie die Bewertung erfolgt
0/18Bootstrap mit einem Befehl
22/22Automatisierte Tests
0/11Lint-/Format-Konfiguration
11/11Statische Typprüfung — widget/tsconfig.json
10/10Reproduzierbare Umgebung — lockfile
0/10Belegte Agentenpraxis — keine Daten
0/8Automatisierte Wartung — keine Daten
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nixnein
has_testsja
lockfilespackage-lock.json
has_dockerfilenein
typed_languagenein
bootstrap_files—
has_devcontainernein
has_linter_confignein
typecheck_configswidget/tsconfig.json
agent_commit_share—
toolchain_manifests—
dependency_bot_commit_share—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Belegte Agentenpraxis, Automatisierte Wartung. Die verbleibenden Gewichte wurden renormalisiert.

AI-Code-Lesbarkeit für Modelle

72Gut
Wie die Bewertung erfolgt
27/45Typprüfbarer Code — Lean mit Typprüfungs-Konfiguration (widget/tsconfig.json)
44.5/55Handhabbare Dateigrößen — 9/47 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageLean
largest_source_bytes2.663.470
source_files_sampled47
oversized_source_files9

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 — demos
Verwendete Eingangsdaten
example_dirsdemos
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

216GitHub-Sterne
22Mitwirkende
70Commits, letzte 12 Monate
1Tage seit letztem Push
100Releases
2Bus-Faktor
13offene Issues
npmPaket-Ökosysteme

Weitere Details

OpenSSF Scorecard 3.6 / 10
3.6Gesamtwert

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-07-17 09:34 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
10CI-Tests25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
1Code-ReviewFound 4/28 approved changesets -- score normalized to 1
10Contributorsproject has 9 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained13 commit(s) and 2 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
0Vulnerabilities15 existing vulnerabilities detected
Direkte Abhängigkeiten 16
RegistryPaketVersionsvorgabeManifest
npm@leanprover/infoview~0.11.0widget/package.json
npm@penrose/core~3.2.0widget/package.json
npm@react-three/drei^9.64.0widget/package.json
npm@react-three/fiber^8.12.0widget/package.json
npm@svgdotjs/svg.js^3.2.0widget/package.json
npmd3^7.9.0widget/package.json
npmd3-graphviz^5.6widget/package.json
npmdeep-equal^2.2.3widget/package.json
npmmathjax-full~3.2.2widget/package.json
npmreact^18.2.0widget/package.json
npmreact-dom^18.2.0widget/package.json
npmreact-d3-tree^3.5.1widget/package.json
npmrecharts^2.5.0widget/package.json
npmuse-resize-observer^9.1.0widget/package.json
npmvscode-languageserver-protocol^3.17.2widget/package.json
npmreact-fast-compare^3.2.2widget/package.json
Alle Abhängigkeiten 386

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

RegistryPaketVersionBeziehung
npm@leanprover/infoview0.11.0direkt
npm@penrose/core3.2.0direkt
npm@react-three/drei9.122.0direkt
npm@react-three/fiber8.18.0direkt
npm@svgdotjs/svg.js3.2.5direkt
npmd37.9.0direkt
npmd3-graphviz5.6.0direkt
npmdeep-equal2.2.3direkt
npmmathjax-full3.2.2direkt
npmreact18.0.0direkt
npmreact18.3.1direkt
npmreact-d3-tree3.6.6direkt
npmreact-dom18.3.1direkt
npmreact-fast-compare3.2.2direkt
npmrecharts2.15.4direkt
npmuse-resize-observer9.1.0direkt
npmvscode-languageserver-protocol3.17.5direkt
npm@babel/runtime7.28.6indirekt
npm@bkrem/react-transition-group1.3.5indirekt
npm@datastructures-js/queue4.3.0indirekt
npm@dimforge/rapier3d-compat0.12.0indirekt
npm@hpcc-js/wasm2.34.2indirekt
npm@isaacs/cliui9.0.0indirekt
npm@jridgewell/gen-mapping0.3.13indirekt
npm@jridgewell/resolve-uri3.1.2indirekt
npm@jridgewell/source-map0.3.11indirekt
npm@jridgewell/sourcemap-codec1.5.5indirekt
npm@jridgewell/trace-mapping0.3.31indirekt
npm@juggle/resize-observer3.4.0indirekt
npm@leanprover/infoview-api0.11.0indirekt
npm@lit-labs/ssr-dom-shim1.5.1indirekt
npm@lit/react1.0.8indirekt
npm@lit/reactive-element2.1.2indirekt
npm@mediapipe/tasks-vision0.10.17indirekt
npm@monogrid/gainmap-js3.4.0indirekt
npm@penrose/optimizer3.2.0indirekt
npm@react-spring/animated9.7.5indirekt
npm@react-spring/core9.7.5indirekt
npm@react-spring/rafz9.7.5indirekt
npm@react-spring/shared9.7.5indirekt
npm@react-spring/three9.7.5indirekt
npm@react-spring/types9.7.5indirekt
npm@rollup/plugin-commonjs28.0.9indirekt
npm@rollup/plugin-node-resolve15.3.1indirekt
npm@rollup/plugin-replace6.0.3indirekt
npm@rollup/plugin-terser0.4.4indirekt
npm@rollup/pluginutils5.3.0indirekt
npm@rollup/rollup-android-arm-eabi4.59.0indirekt
npm@rollup/rollup-android-arm644.59.0indirekt
npm@rollup/rollup-darwin-arm644.59.0indirekt
npm@rollup/rollup-darwin-x644.59.0indirekt
npm@rollup/rollup-freebsd-arm644.59.0indirekt
npm@rollup/rollup-freebsd-x644.59.0indirekt
npm@rollup/rollup-linux-arm-gnueabihf4.59.0indirekt
npm@rollup/rollup-linux-arm-musleabihf4.59.0indirekt
npm@rollup/rollup-linux-arm64-gnu4.59.0indirekt
npm@rollup/rollup-linux-arm64-musl4.59.0indirekt
npm@rollup/rollup-linux-loong64-gnu4.59.0indirekt
npm@rollup/rollup-linux-loong64-musl4.59.0indirekt
npm@rollup/rollup-linux-ppc64-gnu4.59.0indirekt
npm@rollup/rollup-linux-ppc64-musl4.59.0indirekt
npm@rollup/rollup-linux-riscv64-gnu4.59.0indirekt
npm@rollup/rollup-linux-riscv64-musl4.59.0indirekt
npm@rollup/rollup-linux-s390x-gnu4.59.0indirekt
npm@rollup/rollup-linux-x64-gnu4.59.0indirekt
npm@rollup/rollup-linux-x64-musl4.59.0indirekt
npm@rollup/rollup-openbsd-x644.59.0indirekt
npm@rollup/rollup-openharmony-arm644.59.0indirekt
npm@rollup/rollup-win32-arm64-msvc4.59.0indirekt
npm@rollup/rollup-win32-ia32-msvc4.59.0indirekt
npm@rollup/rollup-win32-x64-gnu4.59.0indirekt
npm@rollup/rollup-win32-x64-msvc4.59.0indirekt
npm@tweenjs/tween.js23.1.3indirekt
npm@types/d37.4.3indirekt
npm@types/d3-array3.2.2indirekt
npm@types/d3-axis3.0.6indirekt
npm@types/d3-brush3.0.6indirekt
npm@types/d3-chord3.0.6indirekt
npm@types/d3-color1.4.5indirekt
npm@types/d3-color3.1.3indirekt
npm@types/d3-contour3.0.6indirekt
npm@types/d3-delaunay6.0.4indirekt
npm@types/d3-dispatch3.0.7indirekt
npm@types/d3-drag3.0.7indirekt
npm@types/d3-dsv3.0.7indirekt
npm@types/d3-ease3.0.2indirekt
npm@types/d3-fetch3.0.7indirekt
npm@types/d3-force3.0.10indirekt
npm@types/d3-format3.0.4indirekt
npm@types/d3-geo3.1.0indirekt
npm@types/d3-graphviz2.6.10indirekt
npm@types/d3-hierarchy1.1.11indirekt
npm@types/d3-hierarchy3.1.7indirekt
npm@types/d3-interpolate1.4.5indirekt
npm@types/d3-interpolate3.0.4indirekt
npm@types/d3-path3.1.1indirekt
npm@types/d3-polygon3.0.2indirekt
npm@types/d3-quadtree3.0.6indirekt
npm@types/d3-random3.0.3indirekt
npm@types/d3-scale4.0.9indirekt
npm@types/d3-scale-chromatic3.1.0indirekt
npm@types/d3-selection1.4.7indirekt
npm@types/d3-selection3.0.11indirekt
npm@types/d3-shape3.1.8indirekt
npm@types/d3-time3.0.4indirekt
npm@types/d3-time-format4.0.3indirekt
npm@types/d3-timer3.0.2indirekt
npm@types/d3-transition1.3.6indirekt
npm@types/d3-transition3.0.9indirekt
npm@types/d3-zoom1.8.7indirekt
npm@types/d3-zoom3.0.8indirekt
npm@types/deep-equal1.0.4indirekt
npm@types/draco3d1.4.10indirekt
npm@types/estree1.0.8indirekt
npm@types/geojson7946.0.16indirekt
npm@types/offscreencanvas2019.7.3indirekt
npm@types/prop-types15.7.15indirekt
npm@types/react18.3.28indirekt
npm@types/react-dom18.3.7indirekt
npm@types/react-reconciler0.26.7indirekt
npm@types/react-reconciler0.28.9indirekt
npm@types/resolve1.20.2indirekt
npm@types/stats.js0.17.4indirekt
npm@types/three0.183.1indirekt
npm@types/trusted-types2.0.7indirekt
npm@types/webxr0.5.24indirekt
npm@use-gesture/core10.3.1indirekt
npm@use-gesture/react10.3.1indirekt
npm@vscode-elements/elements1.7.1indirekt
npm@vscode-elements/react-elements0.5.0indirekt
npm@vscode/codicons0.0.40indirekt
npm@webgpu/types0.1.69indirekt
npm@xmldom/xmldom0.9.8indirekt
npmacorn8.16.0indirekt
npmansi-regex6.2.2indirekt
npmansi-styles6.2.3indirekt
npmarray-buffer-byte-length1.0.2indirekt
npmavailable-typed-arrays1.0.7indirekt
npmbalanced-match4.0.4indirekt
npmbase64-js1.5.1indirekt
npmbidi-js1.0.3indirekt
npmbrace-expansion5.0.3indirekt
npmbuffer6.0.3indirekt
npmbuffer-from1.1.2indirekt
npmcall-bind1.0.8indirekt
npmcall-bind-apply-helpers1.0.2indirekt
npmcall-bound1.0.4indirekt
npmcamera-controls2.10.1indirekt
npmchain-function1.0.1indirekt
npmcliui9.0.1indirekt
npmclone2.1.2indirekt
npmclsx2.1.1indirekt
npmcommander13.1.0indirekt
npmcommander2.20.3indirekt
npmcommander7.2.0indirekt
npmcommondir1.0.1indirekt
npmconsola2.15.3indirekt
npmcross-env7.0.3indirekt
npmcross-spawn7.0.6indirekt
npmcsstype3.2.3indirekt
npmd3-array3.2.4indirekt
npmd3-axis3.0.0indirekt
npmd3-brush3.0.0indirekt
npmd3-chord3.0.1indirekt
npmd3-color3.1.0indirekt
npmd3-contour4.0.2indirekt
npmd3-delaunay6.0.4indirekt
npmd3-dispatch3.0.1indirekt
npmd3-drag3.0.0indirekt
npmd3-dsv3.0.1indirekt
npmd3-ease3.0.1indirekt
npmd3-fetch3.0.1indirekt
npmd3-force3.0.0indirekt
npmd3-format3.1.2indirekt
npmd3-geo3.1.1indirekt
npmd3-hierarchy1.1.9indirekt
npmd3-hierarchy3.1.2indirekt
npmd3-interpolate3.0.1indirekt
npmd3-path1.0.9indirekt
npmd3-path3.1.0indirekt
npmd3-polygon3.0.1indirekt
npmd3-quadtree3.0.1indirekt
npmd3-random3.0.1indirekt
npmd3-scale4.0.2indirekt
npmd3-scale-chromatic3.1.0indirekt
npmd3-selection3.0.0indirekt
npmd3-shape1.3.7indirekt
npmd3-shape3.2.0indirekt
npmd3-time3.1.0indirekt
npmd3-time-format4.1.0indirekt
npmd3-timer3.0.1indirekt
npmd3-transition3.0.1indirekt
npmd3-zoom3.0.0indirekt
npmdecimal.js-light2.5.1indirekt
npmdeepmerge4.3.1indirekt
npmdefine-data-property1.1.4indirekt
npmdefine-properties1.2.1indirekt
npmdelaunator5.0.1indirekt
npmdequal2.0.3indirekt
npmdetect-gpu5.0.70indirekt
npmdiscontinuous-range1.0.0indirekt
npmdom-helpers3.4.0indirekt
npmdom-helpers5.2.1indirekt
npmdraco3d1.5.7indirekt
npmdunder-proto1.0.1indirekt
npmemoji-regex10.6.0indirekt
npmes-define-property1.0.1indirekt
npmes-errors1.3.0indirekt
npmes-get-iterator1.1.3indirekt
npmes-module-lexer1.7.0indirekt
npmes-module-shims1.10.1indirekt
npmes-object-atoms1.1.1indirekt
npmescalade3.2.0indirekt
npmesm3.2.25indirekt
npmestree-walker2.0.2indirekt
npmeventemitter34.0.7indirekt
npmfast-equals5.4.0indirekt
npmfdir6.5.0indirekt
npmfflate0.6.10indirekt
npmfflate0.8.2indirekt
npmfor-each0.3.5indirekt
npmforeground-child3.3.1indirekt
npmfsevents2.3.3indirekt
npmfunction-bind1.1.2indirekt
npmfunctions-have-names1.2.3indirekt
npmget-caller-file2.0.5indirekt
npmget-east-asian-width1.6.0indirekt
npmget-intrinsic1.3.0indirekt
npmget-proto1.0.1indirekt
npmglob11.1.0indirekt
npmglsl-noise0.0.0indirekt
npmgopd1.2.0indirekt
npmhas-bigints1.1.0indirekt
npmhas-property-descriptors1.0.2indirekt
npmhas-symbols1.1.0indirekt
npmhas-tostringtag1.0.2indirekt
npmhasown2.0.2indirekt
npmhls.js1.6.15indirekt
npmiconv-lite0.6.3indirekt
npmieee7541.2.1indirekt
npmimmediate3.0.6indirekt
npmimmutable4.3.7indirekt
npminternal-slot1.1.0indirekt
npminternmap2.0.3indirekt
npmis-arguments1.2.0indirekt
npmis-array-buffer3.0.5indirekt
npmis-bigint1.1.0indirekt
npmis-boolean-object1.2.2indirekt
npmis-callable1.2.7indirekt
npmis-core-module2.16.1indirekt
npmis-date-object1.1.0indirekt
npmis-map2.0.3indirekt
npmis-module1.0.0indirekt
npmis-number-object1.1.1indirekt
npmis-promise2.2.2indirekt
npmis-reference1.2.1indirekt
npmis-regex1.2.1indirekt
npmis-set2.0.3indirekt
npmis-shared-array-buffer1.0.4indirekt
npmis-string1.1.1indirekt
npmis-symbol1.1.1indirekt
npmis-weakmap2.0.2indirekt
npmis-weakset2.0.4indirekt
npmisarray2.0.5indirekt
npmisexe2.0.0indirekt
npmits-fine1.2.5indirekt
npmjackspeak4.2.3indirekt
npmjs-tokens4.0.0indirekt
npmlie3.3.0indirekt
npmlit3.3.2indirekt
npmlit-element4.2.2indirekt
npmlit-html3.3.2indirekt
npmlodash4.17.23indirekt
npmloose-envify1.4.0indirekt
npmlru-cache11.2.6indirekt
npmmaath0.10.8indirekt
npmmagic-string0.30.21indirekt
npmmath-intrinsics1.1.0indirekt
npmmeshline3.3.1indirekt
npmmeshoptimizer1.0.1indirekt
npmmhchemparser4.2.1indirekt
npmminimatch10.2.4indirekt
npmminipass7.1.3indirekt
npmmj-context-menu0.6.1indirekt
npmmnemonist0.39.8indirekt
npmmoo0.5.2indirekt
npmnearley2.20.1indirekt
npmobject-assign4.1.1indirekt
npmobject-inspect1.13.4indirekt
npmobject-is1.1.6indirekt
npmobject-keys1.1.1indirekt
npmobject.assign4.1.7indirekt
npmobliterator2.0.5indirekt
npmpackage-json-from-dist1.0.1indirekt
npmpandemonium2.4.1indirekt
npmpath-key3.1.1indirekt
npmpath-parse1.0.7indirekt
npmpath-scurry2.0.2indirekt
npmpicomatch4.0.3indirekt
npmpoly-partition1.0.2indirekt
npmpossible-typed-array-names1.1.0indirekt
npmpotpack1.0.2indirekt
npmpromise-worker-transferable1.0.4indirekt
npmprop-types15.8.1indirekt
npmrailroad-diagrams1.0.0indirekt
npmrandexp0.4.6indirekt
npmrandombytes2.1.0indirekt
npmreact-composer5.0.3indirekt
npmreact-is16.13.1indirekt
npmreact-is18.3.1indirekt
npmreact-lifecycles-compat3.0.4indirekt
npmreact-reconciler0.27.0indirekt
npmreact-smooth4.0.4indirekt
npmreact-transition-group4.4.5indirekt
npmreact-use-measure2.1.7indirekt
npmrecharts-scale0.4.5indirekt
npmrecursive-diff1.0.9indirekt
npmregexp.prototype.flags1.5.4indirekt
npmrequire-from-string2.0.2indirekt
npmresolve1.22.11indirekt
npmret0.1.15indirekt
npmrobust-predicates3.0.2indirekt
npmrollup4.59.0indirekt
npmrw1.3.3indirekt
npmsafe-buffer5.2.1indirekt
npmsafe-regex-test1.1.0indirekt
npmsafer-buffer2.1.2indirekt
npmscheduler0.21.0indirekt
npmscheduler0.23.2indirekt
npmseedrandom3.0.5indirekt
npmserialize-javascript6.0.2indirekt
npmset-function-length1.2.2indirekt
npmset-function-name2.0.2indirekt
npmshebang-command2.0.0indirekt
npmshebang-regex3.0.0indirekt
npmside-channel1.1.0indirekt
npmside-channel-list1.0.0indirekt
npmside-channel-map1.0.1indirekt
npmside-channel-weakmap1.0.2indirekt
npmsignal-exit4.1.0indirekt
npmsmob1.6.1indirekt
npmsource-map0.6.1indirekt
npmsource-map-support0.5.21indirekt
npmspeech-rule-engine4.1.2indirekt
npmstats-gl2.4.2indirekt
npmstats.js0.17.0indirekt
npmstop-iteration-iterator1.1.0indirekt
npmstring-width7.2.0indirekt
npmstrip-ansi7.2.0indirekt
npmsupports-preserve-symlinks-flag1.0.0indirekt
npmsuspend-react0.1.3indirekt
npmtachyons4.12.0indirekt
npmterser5.46.0indirekt
npmthree0.170.0indirekt
npmthree0.183.1indirekt
npmthree-mesh-bvh0.7.8indirekt
npmthree-stdlib2.36.1indirekt
npmtiny-invariant1.3.3indirekt
npmtroika-three-text0.52.4indirekt
npmtroika-three-utils0.52.4indirekt
npmtroika-worker-utils0.52.0indirekt
npmtrue-myth4.1.1indirekt
npmtslib2.8.1indirekt
npmtunnel-rat0.1.2indirekt
npmtypescript5.9.3indirekt
npmuse-sync-external-store1.6.0indirekt
npmutility-types3.11.0indirekt
npmuuid8.3.2indirekt
npmvictory-vendor36.9.2indirekt
npmvscode-jsonrpc8.2.0indirekt
npmvscode-languageserver-types3.17.5indirekt
npmwarning3.0.0indirekt
npmwebgl-constants1.1.1indirekt
npmwebgl-sdf-generator1.1.1indirekt
npmwhich2.0.2indirekt
npmwhich-boxed-primitive1.1.1indirekt
npmwhich-collection1.0.2indirekt
npmwhich-typed-array1.1.20indirekt
npmwicked-good-xpath1.3.0indirekt
npmwrap-ansi9.0.2indirekt
npmy18n5.0.8indirekt
npmyargs18.0.0indirekt
npmyargs-parser22.0.0indirekt
npmzustand3.7.2indirekt
npmzustand4.5.7indirekt
npmzustand5.0.11indirekt
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 leanprover-community/proofwidgets4 teilen. Nebeneinander lesen →

62midspiral/LemmaScriptverification toolchain for TypeScript (Tech Preview)Mittel78leanprover/std4The "batteries included" extended library for the Lean programming language and theorem proverGut78leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem proverGut67AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.Gut62leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.Mittel60lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in LeanMittel

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.11.0 — vollständige Methodik · Metriken-Wiki.

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