Pushp-Kharat1/LEMMA

LEMMA: Logical Engine for Multi-domain Mathematical Analysis

33
/ 100
Emerging
No Package No Dependents
Maintenance 10 / 25
Adoption 7 / 25
Maturity 9 / 25
Community 7 / 25

How are scores calculated?

Stars

28

Forks

2

Language

Rust

License

MPL-2.0

Last pushed

Feb 14, 2026

Commits (30d)

0

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/Pushp-Kharat1/LEMMA"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.