Glavin001/RayDB
Raycasting Optimized Spatial Database
Example application using Sails (& Waterline) Multitenancy support. (Unmaintained, proof-of-concept)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Raycasting Optimized Spatial Database
A* Mario AI as used by Robin Baumgarten for the CIG 2009 Mario AI competition
Public repository.
An automated theorem prover for first-order logic.