PluginStatsLean 4 alternatives
Other VS Code Marketplace listings in Programming Languages closest to Lean 4 in adoption. Listings sharing a category come first.
Alternatives
| # | Plugin | Installs | 7d | 30d |
|---|---|---|---|---|
| 1541 | 195.8K | — | — | |
| 1542 | 195.8K | — | — | |
| 1549 | 195.5K | — | — | |
| 1551 | 195.4K | — | — | |
| 1530 | 197.7K | — | — | |
| 1529 | 197.9K | — | — | |
| 1528 | 198.2K | — | — | |
| 1525 | 198.4K | — | — | |
| 1514 | 199.4K | — | — | |
| 1563 | 192.4K | — | — | |
| 1510 | 200.1K | — | — | |
| 1507 | 200.9K | — | — | |
| 1498 | 202.1K | — | — | |
| 1497 | 202.4K | — | — | |
| 1494 | 202.7K | — | — | |
| 1580 | 189.7K | — | — | |
| 1585 | 189.3K | — | — | |
| 1587 | 189.1K | — | — | |
| 1491 | 203.7K | — | — | |
| 1590 | 188.8K | — | — |
Head-to-head comparisons
- Lean 4 vs Arduino Community Edition
- Lean 4 vs ionic 2 Commands with Snippets
- Lean 4 vs CodeRabbit
- Lean 4 vs UI5 Language Assistant
- Lean 4 vs MinifyAll
- Lean 4 vs protobuf
- Lean 4 vs phpcs
- Lean 4 vs REG
- Lean 4 vs WebAssembly
- Lean 4 vs VSMarketplace Badges
- Lean 4 vs Binary Plist
- Lean 4 vs Better Shell Syntax
- Lean 4 vs Qt UI (Deprecated)
- Lean 4 vs GDB Debugger - Beyond
- Lean 4 vs COBOL
- Lean 4 vs Msg Language Support
- Lean 4 vs Generator for MicroProfile Rest Client
- Lean 4 vs PlantUML - Simple Viewer
- Lean 4 vs TCL
- Lean 4 vs Puppet