Popular repositories Loading

1. sf-lean_zh sf-lean_zh Public

   Forked from cipher1024/sf-lean

   Software Foundations using the Lean Theorem Prover

   Lean 1

2. sofiza sofiza Public

   Forked from andamira/sofiza

   An SFZ format parser

   Rust 1

3. minimind minimind Public

   Forked from jingyaogong/minimind

   🚀🚀 「大模型」2小时完全从0训练26M的小参数GPT！🌏 Train a 26M-parameter GPT from scratch in just 2h!

   Python 1

4. n8n n8n Public

   Forked from n8n-io/n8n

   Free and source-available fair-code licensed workflow automation tool. Easily automate tasks across different services.

   TypeScript

5. chinese-independent-developer chinese-independent-developer Public

   Forked from 1c7/chinese-independent-developer

   👩🏿‍💻👨🏾‍💻👩🏼‍💻👨🏽‍💻👩🏻‍💻中国独立开发者项目列表 -- 分享大家都在做什么

6. mindrlhf mindrlhf Public

   Forked from mindspore-lab/mindrlhf

   SFT-RFT-DPO-deepspeed_chatRLHF(PPO)-deepseekR1(GRPO)

   Python