dancinlab/hexa-lang

0

/ 100

Documentation94
Engineering47
Health100
Python222MIT1d ago
Grade a repo

Good shape overall. A few tweaks would push it into the top tier.

💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint

Documentation

94

Contributing guide5pt77

CONTRIBUTING guide found.

Install and run instructions9pt90

README documents how to install the project.

README12pt100

README is present.

License6pt100

Licensed under MIT.

Engineering

47

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.

Reproducibility6pt10

No dependency lockfile found (−70 pts).

→ Commit the lockfile for this project's package manager so installs produce the same dependency versions everywhere.

CI/CD14pt57

CI is configured (.github/workflows/arm64-native-arena-release-build.yml).

Tests18pt80

Test files detected (archive/patches/tests).

Project health

100

Dependency manifest6pt100

Dependency manifest found (editor/jetbrains/build.gradle.kts).

Repository metadata5pt100

Repository has a description.

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)
  • 119
    Forks
  • 25
    Releaseslatest 6d ago

Community

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

Responsiveness

  • 2d 16h
    Median issue response
  • <1h
    Median PR merge time
  • 24
    Open issues
Repository files152 root entries
  • .chain-state
  • .claude
  • .discoveries
  • .githooks
  • .github
    Good: CI is configured (.github/workflows/arm64-native-arena-release-build.yml).
  • .growth
  • .harness
  • .superpowers
  • .verdicts
  • archive
    Good: Test files detected (archive/patches/tests).
  • archive_legacy_glue
  • ARXIV
  • ATLAS
  • attr_ecosystem
  • attr_format
  • bench
  • bin
  • build
  • comb
  • compiler
  • component
  • config
  • dist
  • doc
    Good: CONTRIBUTING guide found.
    Issue: CONTRIBUTING guide contents could not be read (−28 pts vs a readable file).Fix: Move the file to the repo root or docs/CONTRIBUTING.md so its setup, style, test, and PR sections can be graded.
    Good: Code of conduct present.
  • docker
    Good: Environment pinned via docker/runner/Dockerfile.
  • docs
  • drafts
  • editor
    Good: Dependency manifest found (editor/jetbrains/build.gradle.kts).
  • example
  • exports
  • firmware
    Good: Security policy present.
  • fixtures
  • gpu
  • grammar_format
  • hooks
  • incoming
  • issues
  • launchd
  • lib
  • n6
  • OEIS
  • PAPER
  • proposals
  • roadmaps
  • rtsc-ambient-roadmap
  • scripts
  • self
  • spec
  • state
  • stdlib
  • test
  • tests
  • tool
  • tools
  • tree-sitter-hexa
  • VERIFY-KIT
  • _pf_lane_check.hexa
  • .command
  • .doc
  • .dockerignore
  • .gitattributes
  • .gitignore
    Good: .gitignore present.
  • .gitmodules
  • .harness-engine
  • .hexa-attrs
  • .hexa-lax-baseline
  • .lsp.json
  • .metadata_never_index
  • .ossify_seeds
  • .shared
  • AGENTS.md
  • architecture.html
  • ARCHITECTURE.json
  • ARGV_DEDUP.md
  • bf16_driver.cu
  • build_and_measure_bf16.sh
  • build_and_measure_ms.sh
  • build_and_measure_sm90.sh
  • build_and_measure.sh
  • build_megafwd.sh
  • build_megastep.sh
  • CHANGELOG.md
  • CITATION.cff
  • CLAUDE.md
  • COMPILER.md
  • cutlass_driver.cu
  • cutlass_ms_driver.cu
  • deploy_manifest.json
  • FIRMWARE.md
  • FLAME+FORGE-vs-PYTORCH+CUBLAS.md
  • FLOW.md
  • gemm_device_extracted.cuh
  • GOAL.md
  • handoff.jsonl
  • HANDOFF.md
  • harness.config.json
  • hexa
  • HEXA_LANG.log.md
  • hexa-build
  • HEXA-CC-NATIVE-N5.plan.md
  • HEXA-NATIVE-ONLY.md
  • hexa.shim-original
  • hexa.toml
  • hive.json
  • ING.jsonl
  • install.hexa
  • install.sh
  • KEYWORD_DEMOTE.md
  • LATTICE_POLICY.md
  • LICENSE
    Good: Licensed under MIT.
  • LIMIT_BREAKTHROUGH.md
  • loop-rules.json
  • megafwd_driver.cu
  • megakernel_driver.cu
  • N6.md
  • PLAN-interp-retirement.md
  • PLAN-stage3-footprint-F6-optA.md
  • PLAN-stage3-footprint-F6.md
  • PLAN-stage3-footprint.md
  • PLAN-stage3-pathA.md
  • PLAN.md
  • project.hexa
  • r22-audit-results.tsv
  • r23-audit-results.tsv
  • README.md
    Good: README is present.
    Good: README is well structured with multiple sections.
    Good: README includes screenshots or visuals. Great for first impressions.
    Good: README has code examples.
    Good: README links to a live demo or deployed app.
    Good: README includes status badges.
    Good: README documents how to install the project.
    Good: README documents how to run the project.
  • ROADMAP.md
  • serve.py
  • SPEC.md
  • SPEC.yaml
  • TAPE-AUDIT.md
  • tmp_arrayslice_smoke.hexa
  • tmp_hxc_v2_lib_smoke.hexa
  • tmp_idxassign_smoke.hexa
  • tmp_rfc025_rss_bench.hexa
  • tmp_rfc025_smoke.hexa
  • tmp_rfc030_smoke.hexa
  • tmp_rfc033_smoke.hexa
  • tmp_rfc034_smoke.hexa
  • tmp_rfc035_smoke.hexa
  • tmp_rfc040_gpu_smoke.hexa
  • tmp_rfc040_phaseB_smoke.hexa
  • tmp_rfc040_phaseB2_smoke.hexa
  • tmp_rfc040_smoke.hexa
  • tmp_stmmap_fixture.safetensors
  • tmp_stmmap_smoke.hexa
  • tmp_tecs_m3_sweep.hexa
  • TRAIL.md
  • util_loop.cu
  • util_megafwd.sh
  • util_megastep.sh
  • util_run.sh
  • WARM_BOOTSTRAP.md