Popular repositories Loading

1. sf-lean_zh sf-lean_zh Public

   Forked from alashworth/sf-lean

   Software Foundations using the Lean Theorem Prover

   Lean 1

2. 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

3. chinese-independent-developer chinese-independent-developer Public

   Forked from 1c7/chinese-independent-developer

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

4. mindrlhf mindrlhf Public

   Forked from mindspore-lab/mindrlhf

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

   Python

5. 30dayMakeOS 30dayMakeOS Public

   Forked from yourtion/30dayMakeOS

   《30天自制操作系统》源码中文版。自己制作一个操作系统（OSASK）的过程

   C