abduld/electron-boilerplate
Boilerplate application for Electron runtime
An open-source monte carlo go-playing program.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Boilerplate application for Electron runtime
The Z3 Theorem Prover
This is the go ai for our course project
The FORM project for symbolic manipulation of very big expressions