Glavin001/RayDB
Raycasting Optimized Spatial Database
From http://cs.smu.ca/~porter/csc/465/code/horstmann/ch06/scene3/
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.