Pinned Loading

1. SeedProverReplicate SeedProverReplicate Public

   We are trying to replicate ByteDance's SeedProver.

   Lean

2. CS2205-Project CS2205-Project Public

   C

3. Xtra-Computing/MegaAgent Xtra-Computing/MegaAgent Public

   [ACL 2025 Findings] MegaAgent: A Large-Scale Autonomous LLM-based Multi-Agent System Without Predefined SOPs https://aclanthology.org/2025.findings-acl.259.pdf

   Python 236 30

4. SJTU-CILAB/udl SJTU-CILAB/udl Public

   Python 4 1

5. SJTUJohnClass/Smart-Pointers SJTUJohnClass/Smart-Pointers Public

   Project 3 of CS1958-I

   C++ 1 6

6. SJTUJohnClass/ESet SJTUJohnClass/ESet Public

   C++