https://github.com/LeanOxide/lemma
Score: -Infinity
Last synced: about 10 hours ago
JSON representation
Repository metadata:
- Host: GitHub
- URL: https://github.com/LeanOxide/lemma
- Owner: LeanOxide
- License: mit
- Created: 2025-11-05T08:55:38.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2026-08-12T09:14:47.000Z (16 days ago)
- Last Synced: 2026-08-18T13:10:01.376Z (10 days ago)
- Language: Rust
- Size: 747 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Owner metadata:
- Name: LeanOxide
- Login: LeanOxide
- Email:
- Kind: organization
- Description:
- Website:
- Location:
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/289678530?v=4
- Repositories: 1
- Last Synced at: 2026-06-01T14:15:33.514Z
- Profile URL: https://github.com/LeanOxide
GitHub Events
Total
- Push event: 3
- Total: 3
Last Year
- Push event: 3
- Total: 3
Committers metadata
Last synced: 1 day ago
Total Commits: 173
Total Committers: 1
Avg Commits per committer: 173.0
Development Distribution Score (DDS): 0.0
Commits in past year: 173
Committers in past year: 1
Avg Commits per committer in past year: 173.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| PuQing | m****e@p****k | 173 |
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 0
Total pull requests: 1
Average time to close issues: N/A
Average time to close pull requests: about 22 hours
Total issue authors: 0
Total pull request authors: 1
Average comments per issue: 0
Average comments per pull request: 1.0
Merged pull request: 1
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 1
Past year average time to close issues: N/A
Past year average time to close pull requests: about 22 hours
Past year issue authors: 0
Past year pull request authors: 1
Past year average comments per issue: 0
Past year average comments per pull request: 1.0
Past year merged pull request: 1
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
Top Pull Request Authors
- AndPuQing (1)
Top Issue Labels
Top Pull Request Labels
Package metadata
- Total packages: 1
-
Total downloads:
- pypi: 292 last-month
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 1
- Total maintainers: 1
pypi.org: lemma-lean
A modern Lean4 toolchain manager
- Homepage: https://github.com/LeanOxide/lemma
- Documentation: https://lemma-lean.readthedocs.io/
- Licenses: MIT OR Apache-2.0
- Latest release: 0.2.0 (published 24 days ago)
- Last Synced: 2026-08-26T17:01:50.586Z (1 day ago)
- Versions: 1
- Dependent Packages: 0
- Dependent Repositories: 0
- Downloads: 292 Last month
-
Rankings:
- Dependent packages count: 6.76%
- Average: 22.501%
- Dependent repos count: 38.243%
- Maintainers (1)
Dependencies
- PyO3/maturin-action v1 composite
- Swatinem/rust-cache v2 composite
- actions/checkout v5 composite
- actions/download-artifact v4 composite
- actions/upload-artifact v4 composite
- dtolnay/rust-toolchain stable composite
- pypa/gh-action-pypi-publish release/v1 composite
- softprops/action-gh-release v2 composite
- Swatinem/rust-cache v2 composite
- actions/checkout v5 composite
- actions/setup-python v5 composite
- codecov/codecov-action v5 composite
- dtolnay/rust-toolchain nightly composite
- taiki-e/install-action cargo-llvm-cov composite
- 284 dependencies
- Swatinem/rust-cache v2 composite
- actions/checkout v5 composite
- dtolnay/rust-toolchain stable composite
- which 7.0