Rhaphaello's repositories
chromium
The official GitHub mirror of the Chromium source
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Deep-Reinforcement-Learning
《深度强化学习：原理与实践》，Code of the book <Deep Reinforcement Learning: Principles and Practices>
DeepMind-Advanced-Deep-Learning-and-Reinforcement-Learning
Advanced Deep Learning and Reinforcement Learning course taught at UCL in partnership with Deepmind
gym
A toolkit for developing and comparing reinforcement learning algorithms.
python-scraping
Code samples from the book Web Scraping with Python http://shop.oreilly.com/product/0636920034391.do
simd-alphatensor-rs
alphatensor matrix breakthrough algorithms + simd + rust.
tensorflow
An Open Source Machine Learning Framework for Everyone