Decision Workspace
tdln-compiler vs tdln-proof vs tdln-ast
Side-by-side comparison of Rust crates
53
tdln-compiler
experimentalv0.1.1
TDLN — deterministic compiler NL/DSL → AST + Canonical JSON + Proof bundle.
51
tdln-proof
experimentalv0.1.1
TDLN — proof bundle (deterministic translation proof + optional DV25 signatures).
52
tdln-ast
experimentalv0.1.1
TDLN — canonical AST for deterministic, proof-carrying translation (NL/DSL → Logical Atom).
Core Metrics
| tdln-compiler | tdln-proof | tdln-ast | |
|---|---|---|---|
| Health Score | 53 | 51 | 52 |
| Total Downloads | 272 | 310 | 384 |
| 30d Downloads | 108 | 123 | 153 |
| Dependents | 8 | 6 | 12 |
| Releases | 2 | 2 | 2 |
| Last Updated | 76d ago | 76d ago | 76d ago |
| Age | 2m | 2m | 2m |
Health Breakdown
tdln-compiler
Maintenance
10
Quality
16
Community
9
Popularity
3
Documentation
15
tdln-proof
Maintenance
10
Quality
15
Community
8
Popularity
3
Documentation
15
tdln-ast
Maintenance
10
Quality
15
Community
9
Popularity
3
Documentation
15
Technical Details
| tdln-compiler | tdln-proof | tdln-ast | |
|---|---|---|---|
| Version | 0.1.1 | 0.1.1 | 0.1.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT |
| Dependencies | 7 | 8 | 5 |
| Crate Size | 7KB | 8KB | 8KB |
| Features | 5 | 5 | 3 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.75 | 1.75 | 1.75 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •tdln-compiler leads with a health score of 53/100, but none of the options score above 80.
- •tdln-ast has the most downloads (384), suggesting wider adoption.