joelypoley's Stars
brain-research/hol-light
Patched version of HOL Light with tactic logging for machine learning purposes
pleco-rs/Pleco
A Rust-based re-write of the Stockfish Chess Engine
daylen/chess-id
Board localization and piece recognition
rust-num/num-bigint
Big integer types for Rust
GoogleCloudPlatform/cloudml-samples
Cloud ML Engine repo. Please visit the new Vertex AI samples repo at https://github.com/GoogleCloudPlatform/vertex-ai-samples
clintonreece/keras-cloud-ml-engine
Adventures using keras on Google's Cloud ML Engine
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
abseil/abseil-py
Abseil Common Libraries (Python)
bazelbuild/bazel
a fast, scalable, multi-language and extensible build system
peterwankman/vice
Video Instructions Chess Engine
python/cpython
The Python programming language
llvm-mirror/libcxx
Project moved to: https://github.com/llvm/llvm-project
mcostalba/Stockfish
UCI chess engine
google/googletest
GoogleTest - Google Testing and Mocking Framework
fluxroot/pulse
A Didactic Java/C++ Chess Engine