Decision Workspace
swift-runtime-sys vs lean-rs-sys vs boltffi
Side-by-side comparison of Rust crates
45
swift-runtime-sys
growingv0.0.4
Raw FFI bindings to the Swift Runtime
62
lean-rs-sys
experimentalv0.1.10
Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
61
boltffi
experimentalv0.25.0
High-performance FFI bindings generator for Rust. Up to 1000x faster than UniFFI, 450x faster than wasm-bindgen.
Core Metrics
| swift-runtime-sys | lean-rs-sys | boltffi | |
|---|---|---|---|
| Health Score | 45 | 62 | 61 |
| Total Downloads | 3.2K | 298 | 12.3K |
| 30d Downloads | 0 | 0 | 6.4K |
| Dependents | 2 | 39 | 1 |
| Releases | 4 | 10 | 10 |
| Last Updated | 62d ago | today | 14d ago |
| Age | 1y 9m | 7d | 3m |
Health Breakdown
swift-runtime-sys
Maintenance
12
Quality
15
Community
4
Popularity
4
Documentation
10
lean-rs-sys
Maintenance
17
Quality
17
Community
10
Popularity
3
Documentation
15
boltffi
Maintenance
19
Quality
17
Community
7
Popularity
5
Documentation
13
Technical Details
| swift-runtime-sys | lean-rs-sys | boltffi | |
|---|---|---|---|
| Version | 0.0.4 | 0.1.10 | 0.25.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | GPL-3.0 | MIT OR Apache-2.0 | MIT |
| Dependencies | 4 | 1 | 3 |
| Crate Size | 452KB | 40KB | 9KB |
| Features | 3 | 5 | 5 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2024 | 2024 |
| MSRV | — | 1.91 | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •lean-rs-sys leads with a health score of 62/100, but none of the options score above 80.
- •boltffi has the most downloads (12.3K), suggesting wider adoption.