dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
MighTyD is a prototype for demo puposes & the first implementation of the temporal database model devised by Nikos Lorentzos, Hugh Darwen & CJ Date. It uses Tutorial D as its language & PostgreSQL for storage & is compliant with the The Third Manifesto.
Experimental DataBase system (ExDB) is a prototype of a native XML database system being designed and developed by students of Dept. of Computer Science at CTU FEE in Prague, Czech Republic.
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.