Popular repositories Loading

1. research-math-assistant research-math-assistant Public

   A local solve-verify workflow for rigorous mathematical research with LaTeX output.

   Python 59

2. vibe-proving-math vibe-proving-math Public

   Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.

   Python 29 8

3. llama llama Public

   Forked from meta-llama/llama

   Inference code for Llama models

   Python 1

4. Chinese-LLaMA-Alpaca Chinese-LLaMA-Alpaca Public

   Forked from ymcui/Chinese-LLaMA-Alpaca

   中文LLaMA&Alpaca大语言模型+本地CPU/GPU训练部署 (Chinese LLaMA & Alpaca LLMs)

   Python 1

5. furniture-showcase-weapp furniture-showcase-weapp Public

   一个微信小程序，可以展示家具实拍图。

   JavaScript 1

6. hw hw Public

   C++