BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

Home Search Compare Equivalents

One search box and one honest, consistent read on every open-source library — across every ecosystem.

npmPyPIcrates.ioRubyGemsGoMavenNuGet

Discover

Tools

Compare Equivalents

Data

deps.dev OSV advisories npm registry PyPI

About

Methodology Partner with us

© 2026 Modules · A precision instrument for picking dependencies.Data refreshed continuously from public registries, deps.dev & OSV

cross-ecosystem search · live

Results for valuearrays

Found in 2 of 7 ecosystems · 3 matches across other registries

crates.io2 NuGet1

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

crates.io matches

2 matches · Rust

elicitation_creusotv0.11.0

Creusot formal verification proofs for elicitation contract types

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

elicitation_verusv0.11.0

Verus formal verification proofs for elicitation contract types

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

NuGet matches

1 match · .NET

valuearraysv1.0.0

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 4 years ago.