Library / Framework · Rust
ultima_db
Embedded transactional store for Rust on a copy-on-write MVCC B-tree, with the core proven in Lean 4
What it is
UltimaDB is a high-performance embedded database for Rust with MVCC, WAL, custom indexes, and vector search, featuring formal verification of its B-tree core via Lean.
- b-tree
- embedded-database
- formal-verification
- lean4
- mvcc
- rust
Merit describes the code at this commit. Later pushes count once the owner rescans. How merit is scored
Where it counts
- NLP & LLMs50%
- Machine Learning40%
- Data Science30%
- Computer Vision20%
- MLOps20%
- AI Agents10%
How much of the project is about each field, as scoring counts it. It ranks in the field it is most about.
Around it on the NLP & LLMs board
Whole board- 04event-aware-SAE-trainerLibrary / Framework · Python75.2AdvancedRickNLP & LLMs
- 05, shared ranklegacy-necromancerAI Developer Tool · TypeScript74.9AdvancedMaksym RadkoNLP & LLMs
- 05, shared rankultima_dbLibrary / Framework · Rust74.9AdvancedPeter KnegoNLP & LLMs
- 07RegesMoEML Application · C++72.5AdvancedMaster MindNLP & LLMs
- 08WebsearchRAG System · Python70.9AdvancedJens MittelbachNLP & LLMs
