Modzer0/SPARK-vectordb
A high-performance MCP (Model Context Protocol) vector database implemented in Ada SPARK, designed to leverage Ada's strong typing, formal verification capabilities, and built-in concurrency features for safe and reliable vector operations.
Stars
—
Forks
—
Language
Ada
License
GPL-3.0
Category
Last pushed
Jan 10, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/vector-db/Modzer0/SPARK-vectordb"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
databendlabs/databend
Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from...
oceanbase/oceanbase
The Fastest Distributed Database for Transactional, Analytical, and AI Workloads.
matrixorigin/matrixone
MySQL-compatible HTAP database with Git for Data, vector search, and fulltext search....
ArcadeData/arcadedb
ArcadeDB Multi-Model Database, one DBMS that supports SQL, Cypher, Gremlin, HTTP/JSON, MongoDB...
lightonai/fast-plaid
High-Performance Engine for Multi-Vector Search