Popular GitHub Repositories for Computer Assisted Proof

《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

12 Weeks, 24 Lessons, AI for All!

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer

We write your reusable computer vision tools. ?

OpenPose: Real-time multi-person keypoint detection library for body, face, hands, and foot estimation

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

Cross-platform, customizable ML solutions for live and streaming media.

500 AI Machine learning Deep learning Computer vision NLP Projects with code

? Papers & tech blogs by companies sharing their work on data science & machine learning in production.

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

Image-to-Image Translation in PyTorch

Implementation of Vision Transformer, a simple way to achieve SOTA in vision classification with only a single transformer encoder, in Pytorch

CVPR 2025 论文和开源项目合集

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

? The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools

A GUI Agent application based on UI-TARS(Vision-Lanuage Model) that allows you to control your computer using natural language.

Automate browser-based workflows with LLMs and Computer Vision

本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。

[CVPR2023] Blur Interpolation Transformer for Real-World Motion from Blur

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research