kim-em/lean-zip

0

/ 100

Documentation70
Engineering54
Health84
Lean90Apache-2.01d ago
Grade a repo

Getting some notice. Tests and CI would be the fastest wins.

Documentation

70

Contributing guide5pt0

No CONTRIBUTING.md found (−47 pts base + up to −53 pts more for content).

→ Add a CONTRIBUTING.md telling newcomers how to get involved. Include setup, code style, test, and PR instructions.

README12pt70

README is present.

Install and run instructions9pt90

README documents how to install the project.

License6pt100

Licensed under Apache-2.0.

Engineering

54

Linting and formatting5pt0

No linter or formatter config found.

→ Add a linter config such as .eslintrc.json, .prettierrc, ruff.toml, or .golangci.yml to enforce consistent code style.

Issue and PR templates6pt0

No issue or PR templates found (−100 pts).

→ Add .github/ISSUE_TEMPLATE/ with bug_report.md and feature_request.md to guide contributors. It dramatically improves issue quality.

CI/CD14pt57

CI is configured (.github/workflows/ci.yml).

Reproducibility6pt70

Lockfile present (rust/miniz_oxide_shim/Cargo.lock). Installs are reproducible.

Tests18pt80

Test files detected (Zip/Spec).

Project health

84

Repository metadata5pt40

No repository description set on GitHub (−60 pts).

→ Add a one-line description in the repo Settings → About. It appears in search results and social previews.

Dependency manifest6pt100

Dependency manifest found (bench/comparators/js/package.json).

Activity5pt100

Actively maintained (pushed within the last month).

Housekeeping3pt100

.gitignore present.

Repository health signals

Activity, community, and responsiveness at scan time

Activity

  • —
    Commits (30d / 90d)
  • 9
    Forks
  • 0
    Releases

Community

  • —
    Community health
  • —
    authors own >50% of commits
  • 90
    Watchers

Responsiveness

  • <1h
    Median issue response
  • <1h
    Median PR merge time
  • 77
    Open issues
Repository files35 root entries
  • .claude
  • .github
    Good: CI is configured (.github/workflows/ci.yml).
  • .pod
  • bench
    Good: Dependency manifest found (bench/comparators/js/package.json).
  • c
  • plans
  • progress
  • references
  • rust
    Good: Lockfile present (rust/miniz_oxide_shim/Cargo.lock). Installs are reproducible.
  • scripts
  • testdata
  • Zip
    Good: Test files detected (Zip/Spec).
  • ZipTest
  • .envrc
  • .gitattributes
  • .gitignore
    Good: .gitignore present.
  • BENCH.md
  • lake-manifest.json
  • lakefile.lean
  • lean-toolchain
  • LICENSE
    Good: Licensed under Apache-2.0.
  • PLAN.md
  • PROGRESS.md
  • README.md
    Good: README is present.
    Good: README is well structured with multiple sections.
    Issue: No screenshots or images in the README (−20 pts).Fix: Add a GIF, screenshot, or logo image. It is the fastest way to show what your project does.
    Good: README has code examples.
    Good: README links to a live demo or deployed app.
    Issue: No status badges in the README (−10 pts).Fix: Add CI/build status badges from shields.io or your CI provider to signal project health.
    Good: README documents how to install the project.
    Good: README documents how to run the project.
  • SECURITY_INVENTORY.md
  • shell.nix
  • Zip.lean
  • ZipBench.lean
  • ZipBenchReport.lean
  • ZipFuzzHandleRead.lean
  • ZipFuzzInflate.lean
  • ZipRatioSweep.lean
  • ZipTest.lean
  • ZipTreeFreeBench.lean
  • ZipTreeFreeDecodeBench.lean