Popular repositories Loading

1. exFM exFM Public

   exFM - FM model with some useful extensions

   C++ 16 6

2. swing swing Public

   Swing algorithm of recommendation system

   C++

3. deepmath deepmath Public

   Forked from tensorflow/deepmath

   Experiments towards neural network theorem proving

   C++

4. CoqGym CoqGym Public

   Forked from princeton-vl/CoqGym

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq

5. drake drake Public

   Forked from RobotLocomotion/drake

   Model-based design and verification for robotics.

   C++

6. Hands-on-RL Hands-on-RL Public

   Forked from boyu-ai/Hands-on-RL

   https://hrl.boyuai.com/

   Jupyter Notebook