miquelramirez/libfixmath
Automatically exported from code.google.com/p/libfixmath
lwaptk - version 2.0
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Automatically exported from code.google.com/p/libfixmath
The Z3 Theorem Prover
Code for Lipovetzky, Ramirez and Geffner paper presented at IJCAI-15
The Arcade Learning Environment (ALE) -- a platform for AI research.