Hey folks, I’ve been working on something I call SevenDB, and I thought I’d share it here to get feedback, criticism, or even just wild questions.

SevenDB is my experimental take on a database. The motivation comes from a mix of frustration with existing systems and curiosity: Traditional databases excel at storing and querying, but they treat reactivity as an afterthought. Systems bolt on triggers, changefeeds, or pub/sub layers — often at the cost of correctness, scalability, or painful race conditions.

SevenDB takes a different path: reactivity is core. We extend the excellent work of DiceDB with new primitives that make subscriptions as fundamental as inserts and updates.

https://github.com/sevenDatabase/SevenDB

I’d love for you guys to have a look at this , the design plan is included in the repo , mathematical proofs for determinism and correctness are in progress , would add them soon .

It speaks RESP , so not at all difficult to connect to, as easy drop in to redis but with reactivity

it is far from achieved , i have just made a foundational deterministic harness and made subscriptions fundamental , raft works well with a grpc network interface and reliable leader elections but the notifier election , backpressure as a shared state and emission contract is still in progress , i am into this full-time , so expect rapid development and iterations