Ecosyste.ms: Packages

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

crates.io "lean" keyword

cargo-diet 1.2.7

Make your crate lean by computing size-optimal include directives for Cargo manifests
16 versions - Latest release: 11 months ago - 8.52 thousand downloads total - 148 stars on GitHub - 1 maintainer

lean-sys 0.0.6

Bindings to Lean 4's C API
6 versions - Latest release: 3 months ago - 7.47 thousand downloads total - 9 stars on GitHub - 2 maintainers

Related Keywords

cargo 1 cli 1 crates 1 cargo-subcommand 1 bindings 1 math 1