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 roolean

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

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

Reserved for future bindings to proof-checker Roolean, a companion to Rust SMT solver Roole

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

Satisfiability Modulo Theories (SMT) solver for the theory of bitvectors

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.