Glavin001/mario-astar-robinbaumgarten
A* Mario AI as used by Robin Baumgarten for the CIG 2009 Mario AI competition
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A* Mario AI as used by Robin Baumgarten for the CIG 2009 Mario AI competition
An automated theorem prover for first-order logic.
An opinionated git prompt for bash and zsh
Example application using Sails (& Waterline) Multitenancy support. (Unmaintained, proof-of-concept)