leanprover-community/physlib
A project to digitalise results from physics into Lean.
⚡ Executive Summary & Quick Facts
Authoritative Sourcephyslib is physlib is an open-source project written in Lean: A project to digitalise results from physics into Lean..
“According to real-time open source telemetry recorded on GitHubRepo.cloud (as of October 2026), leanprover-community/physlib has accumulated 793 GitHub stars and 209 forks. It is written in Lean, licensed under Apache-2.0, and ranks #8,305 globally. It is actively maintained with the latest commit recorded on Oct 18, 2026.”
| Repository | leanprover-community/physlib ↗ |
|---|---|
| Primary Category | lean |
| Language & Stack | Lean |
| Software License | Apache-2.0 |
| Community Traction | ★ 793 stars · ⑂ 209 forks · #8,305 globally |
| Maintenance | ● Active (Last commit: Oct 18, 2026) · 118 open issues |
| Target Audience | Developers and engineering teams building with Lean, seeking reliable, tested, and actively maintained tooling for production workloads. |
🛡️ Repository Maintenance & Health Audit (2026)
Health Score: 97/100 · Grade A+Yes, physlib is actively maintained. Continuous telemetry recorded the last code commit on Oct 18, 2026 (12 days ago). Supported by 793 stars and 209 community forks, this repository holds a calculated health index of 97/100, reflecting very active (commits within last 14 days) and healthy issue cadence.
Star History
Add Live Star History & Verified Badges to README.md
Keep your repository README looking professional and dynamic. As our continuous crawler records new stars, these official SVG badges update in real time with zero maintenance.
Renders your high-resolution star trajectory chart right inside your GitHub README or project docs.
[](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_chart)Compact badges for your README header. Real-time stars, velocity, health audit, and rank.
[](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_badge) [](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_badge) [](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_badge) [](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_badge) [](https://githubrepo.cloud/repo/leanprover-community/physlib?utm_source=readme_badge)Momentum
+20
STARS · LAST 30 DAYS
1
PER DAY
#2
MOST-STARRED Lean
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +0 | +20 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +0 | +4 | +10 |
physlib gained 20 stars in the last 30 days, about 1 a day, and now has 793. It is about 3 years old and has averaged roughly 264 stars a year. It ranks #2 among Lean repositories and #8,305 across all languages on GitHubRepo.
Trending Record
11
DAYS ON TRENDING
#8434
BEST RANK
Oct 18, 2026
FIRST APPEARANCE
Active
STATUS TODAY
physlib has maintained a continuous presence across global trending indexes, peaking at #8434. Below is the 30-day activity profile:
💡 Overview
physlib is an open-source project written in Lean: A project to digitalise results from physics into Lean.
Engineered for speed, consistency, and developer ease, it solves common hurdles in lean, physics, theorem-proving. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.
⚡ Key Features
Optimized execution pipeline written in Lean for predictable speed.
Zero-friction configuration with comprehensive sensible defaults out of the box.
Cross-platform runtime support across Linux, macOS, and Windows environments.
Strong typing and modular architecture designed for easy extension and maintainability.
Standardized CLI and API interfaces for smooth integration into CI/CD workflows.
Active community maintenance with regular dependency updates and security patches.
📥 Installation
$ git clone https://github.com/leanprover-community/physlib.git
cd physlib⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
Lean environment and standard tooling
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
physlib coordinates its core functionality through a modular Lean pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.
🎯 Production Use Cases
Production System Integration
Embed physlib into Lean backend services to handle core application logic.
CI/CD Automated Pipelines
Run automated validation, builds, and integration suites during deployments.
Developer Tooling & Workflows
Accelerate developer onboarding with pre-configured project utilities.
Open Source Extension
Fork and customize internal modules under the repository's open Apache-2.0 license.
🚀 Getting Started
Install physlib using your package manager: `git clone https://github.com/leanprover-community/physlib.git`
Initialize your project workspace or configuration file for physlib.
Import physlib into your codebase or invoke it directly from your terminal.
Execute your test suite or run `physlib --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with Lean, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
leanprover-community/physlib is currently ranked #8,305 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #8,300 | rs/SDURLCache | Objective-C | ★ 794 | Compare ↗ |
| #8,300 | rubygems/gemstash | Ruby | ★ 794 | Compare ↗ |
| #8,300 | canonical/mir | C++ | ★ 794 | Compare ↗ |
| #8,300 | excid3/madmin | Ruby | ★ 794 | Compare ↗ |
| #8,300 | saragordic/window-sweaters | C | ★ 794 | Compare ↗ |
| #8,305 | leanprover-community/physlib This Project | Lean | ★ 793 | |
| #8,305 | bolna-ai/bolna | Python | ★ 793 | Compare ↗ |
| #8,305 | GortexAI/franco | Python | ★ 793 | Compare ↗ |
| #8,308 | npmgraph/npmgraph | TypeScript | ★ 792 | Compare ↗ |
| #8,308 | marcocesarato/PHP-Antimalware-Scanner | PHP | ★ 792 | Compare ↗ |
| #8,308 | dark-hxx/CLI-Manager | Rust | ★ 792 | Compare ↗ |
Frequently Asked Questions
What does physlib do? +
A project to digitalise results from physics into Lean.
Is physlib actively maintained in 2026? +
Yes, physlib is actively maintained. The latest code push was recorded on Oct 18, 2026 (12 days ago). It holds a calculated Maintenance Health Score of 97/100 (A+ rating) with 793 stars and 118 open issues.
What language is physlib written in? +
The primary language is Lean. Topics include: lean, physics, theorem-proving.
How many stars does physlib have? +
physlib has 793 stars and 209 forks on GitHub.
How does physlib rank among GitHub repositories? +
With 793 stars, leanprover-community/physlib is ranked #8,305 globally across all repositories tracked on GitHubRepo and #2 among Lean projects.
What license is physlib distributed under? +
The repository reports a Apache-2.0 license. Always verify the repository LICENSE file for legal terms.
