rustio rustio.net
42

mm0_util

v0.1.4 Growing

MM0/MM1 language utilities

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
9.0K
Dependents
5
Releases
5
Size
14KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

62 downloads in the last 30 days (2/day), up 29% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

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

๐Ÿ“
Compact crate

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

Health Breakdown

Maintenance 5/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 8/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
2/day avg-7%
024612/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on mm0_util

Version Adoption

v0.1.4
44%
v0.1.1
14%
v0.1.3
14%
v0.1.2
14%
v0.1.0
14%

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

Feature Flags

default =["memory", "lined_string"]

memory*serverlined_string*

README

Loading README...

Maintainers

Dependencies
8
direct dependencies
Dependents
5
crates depend on mm0_util

Similar Crates