Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 9.3% forks on crates.io

crates.io : mm0b_parser

parsing tools for Metamath Zero's MMB binary format

Registry - Source - Documentation - JSON
purl: pkg:cargo/mm0b_parser
Keywords: proving, proof, assistant, theorem
License: CC0-1.0
Latest release: almost 3 years ago
First release: about 3 years ago
Dependent repositories: 1
Downloads: 2,590 total
Stars: 294 on GitHub
Forks: 40 on GitHub
Total Commits: 1222
Committers: 16
Average commits per author: 76.375
Development Distribution Score (DDS): 0.056
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 25 days ago

    Loading...
    Readme
    Loading...