Popular repositories Loading

1. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python

2. DI-engine DI-engine Public

   Forked from opendilab/DI-engine

   OpenDILab Decision AI Engine. The Most Comprehensive Reinforcement Learning Framework B.P.

   Python

3. LightZero LightZero Public

   Forked from opendilab/LightZero

   [NeurIPS 2023 Spotlight] LightZero: A Unified Benchmark for Monte Carlo Tree Search in General Sequential Decision Scenarios (awesome MCTS)

   Python

4. pytorch_sphinx_theme pytorch_sphinx_theme Public

   Forked from opendilab/pytorch_sphinx_theme

   PyTorch Sphinx Theme

   CSS

5. DI-star DI-star Public

   Forked from opendilab/DI-star

   An artificial intelligence platform for the StarCraft II with large-scale distributed training and grand-master agents.

   Python

6. speech-to-speech speech-to-speech Public

   Forked from huggingface/speech-to-speech

   Speech To Speech: an effort for an open-sourced and modular GPT4-o

   Python