Popular GitHub Repositories for Atp

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Tennis AI to predict the winner in ATP matches with 3 different models and a web UI

An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.

Learning notes on ML and practice projects, covering key areas such as computer vision (handwritten digit recognition), boosting techniques, data preparation, data visualization, e2e pipelines, with practical applications including RAi predictions for ATP, UFC, and EPL.