Popular for its size, but the engineering basics lag behind the interest.
A garden of small programming language implementations 🪴
Documentation
78
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.
README is present.
README documents how to install the project.
Licensed under MIT.
Engineering
29
No CI configuration detected in this repository.
→ If your CI lives elsewhere (a private repo that builds this one) or this project is itself a CI/CD tool, mark this check Not Applicable. Otherwise add a GitHub Actions workflow that runs tests on each push. It takes 15 minutes and reassures contributors their changes won't break things.
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.
No dependency lockfile found (−70 pts).
→ Commit the lockfile for this project's package manager so installs produce the same dependency versions everywhere.
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.
Test files detected (compile-arith/test).
Project health
68
No dependency manifest detected at root.
→ Add a manifest (package.json, pyproject.toml, Cargo.toml, go.mod, etc.) so others can install dependencies in one command.
Repository has a description.
Actively maintained (pushed within the last month).
.gitignore present.
Repository health signals
Activity, community, and responsiveness at scan time
Activity
- —Commits (30d / 90d)
- 9Forks
- 0Releases
Community
- —Community health
- —authors own >50% of commits
- 326Watchers
Responsiveness
- 42d 10hMedian issue response
- —Median PR merge time
- 0Open issues
Repository files36 root entries
- compile-arithGood: Test files detected (compile-arith/test).
- compile-arithcond
- compile-fofl
- elab-dependent
- elab-dependent-sugar
- elab-generics
- elab-generics-lettype
- elab-record-patching
- elab-stlc-abstract
- elab-stlc-bidirectional
- elab-stlc-bidirectional-stratify
- elab-stlc-error-recovery
- elab-stlc-letrec-unification
- elab-stlc-row-unification
- elab-stlc-unification
- elab-system-f-bidirectional
- elab-system-f-unification
- lang-datalog
- lang-declarative-graphics
- lang-doc-templates
- lang-fractal-growth
- lang-fractal-tree-rewriting
- lang-lc-interpreters
- lang-shader-graphics
- opam
- scraps
- .gitattributes
- .gitignoreGood: .gitignore present.
- dune
- dune-project
- flake.lock
- flake.nix
- garden.dot
- garden.svg
- LICENSEGood: Licensed under MIT.
- README.mdGood: 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.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.