rustio rustio.net
39

mm0b_parser

v0.1.4 Growing

parsing tools for Metamath Zero's MMB binary format

CC0-1.0 Edition 2018
Development toolsCommand line utilitiesMathematics #theorem#proving#proof#assistant

Quick Verdict

  • โœ•Not updated for 4+ years
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
8.3K
Dependents
0
Releases
5
Size
24KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

39 downloads in the last 30 days (1/day), up 30% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 4+ years old, mm0b_parser hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 24KB, mm0b_parser is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 5/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 9/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg-33%
024612/301/172/42/223/123/29

Version Adoption

v0.1.4
30%
v0.1.3
24%
v0.1.0
16%
v0.1.2
15%
v0.1.1
15%

Release Timeline

5 releasessince 2021
J
F
M
A
M
J
J
A
S
O
N
D
2021
5
2022
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
4
direct dependencies
Dependents
0
crates depend on mm0b_parser

Similar Crates