davidad/geolog-zeta

Experimental vibe-coded prototype of a version-controlled database modeled on geometric logic (a superset of Datalog)

Rust6 stars0 forks

What it does

Geolog is an experimental prototype for a version-controlled database utilizing geometric logic, enabling efficient formal specifications and persistent memory. Its capabilities in business process orchestration and formal verification make it a significant tool for developers and researchers alike.

Star history

Not enough history yet — 1 day(s) recorded. The daily snapshot builds this up.

Tracking

Last trending: 2026-02-21

Creator kit

Hook

Discover how Geolog's geometric logic can revolutionize your approach to version-controlled databases!

Content angles

Create a tutorial series on building applications with Geolog and its geometric logic.
Explore the implications of persistent memory in software development using Geolog.
Discuss the future of formal verification in programming and how Geolog fits into this landscape.

Who should care

Developers and researchers interested in formal methods, databases, and programming languages.