hyperpolymath/nextgen-databases

Parent repository for equivalence-aware database research — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase, and typed-trace storage experiments

语言：Julia · GitHub 星标：6 · Fork：0

话题：database · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · equivalence-aware-database · formal-verification · hyperpolymath · julia

在 GitHub 上查看原仓库