Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
A SQL transformation engine that type-checks your whole pipeline and catches breaking changes before they run — branches, replay, column-level lineage, compile-time contracts, per-model cost. Adapters: Databricks, Snowflake, BigQuery, DuckDB. Single static Rust binary. Apache 2.0.
shares httpdate, sqlparser, datafusion · 40% dependency overlap
Unified realtime agent trace database & search MCP
shares dialoguer, toml_edit, urlencoding · 37% dependency overlap
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
shares rmcp, schemars, serde_yaml · 35% dependency overlap
Next-generation SQL static analyzer written in Rust. 282+ rules. Zero false positives. Security, performance, reliability, cost, compliance, quality. 14 SQL dialects. Offline. CI/CD ready.
shares sqlparser, serde_yaml, toml · 34% dependency overlap
shares rust-embed, schemars, tower · 34% dependency overlap
Local-first handoff prep for developers using coding agents.
shares rusqlite, walkdir, url · 34% dependency overlap
shares strsim, object_store, jsonschema · 33% dependency overlap
The official Rust library for the Edgee AI Gateway
shares tokio-stream, bytes, futures · 33% dependency overlap
Growing list of apps and tools for enhancing social media experiences.
shares url, reqwest, regex · 33% dependency overlap
A local workbench for agents doing continuous work across sessions, commands, human input, and external events.
shares pulldown-cmark, rust-embed, schemars · 33% dependency overlap