Popular repositories Loading

1. Anki-Android Anki-Android Public

   Forked from ankidroid/Anki-Android

   AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

   Kotlin

2. vits vits Public

   Forked from jaywalnut310/vits

   VITS: Conditional Variational Autoencoder with Adversarial Learning for End-to-End Text-to-Speech

   Python

3. stable-diffusion-webui stable-diffusion-webui Public

   Forked from AUTOMATIC1111/stable-diffusion-webui

   Stable Diffusion web UI

   Python

4. chatgpt_academic chatgpt_academic Public

   Forked from binary-husky/gpt_academic

   科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python工程剖析功能/自我剖析功能

   Python

5. AdaIN AdaIN Public

   Jupyter Notebook

6. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT