Notes for different courses in SJTU
☆25Jun 2, 2024Updated last year
Alternatives and similar repositories for CourseNotes
Users that are interested in CourseNotes are comparing it to the libraries listed below
Sorting:
- Notes and assignments of some courses I took during my time at SJTU.☆29May 17, 2025Updated 9 months ago
- Tool for installing apt packages without root permission in user local space (aptli).☆32Jun 28, 2023Updated 2 years ago
- Course Archive for AI Major in SJTU☆88Jun 4, 2024Updated last year
- ✍️ The notes of courses in Shanghai Jiao Tong University☆176Sep 24, 2021Updated 4 years ago
- 无需预算,使用你的个人数据克隆自己——赛博飞升!Clone yourself by tuning a LLM using your own data.☆34Mar 14, 2025Updated 11 months ago
- 根据清华大学电子信息专业(人工智能)全日制工程硕士专业学位研究生培养计划,匹配自学资料和网课。☆11Aug 11, 2022Updated 3 years ago
- Vim like marks for Aerospace WM☆18Feb 9, 2026Updated 2 weeks ago
- Educational API for 3D Vision using pose to control carton.☆46Jun 19, 2021Updated 4 years ago
- 2023 XFlops Training☆13Jan 23, 2024Updated 2 years ago
- "Towards Improving Document Understanding: An Exploration on Text-Grounding via MLLMs" 2023☆16Nov 28, 2024Updated last year
- ☆14Dec 11, 2025Updated 2 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- The code for Fine-grained HBOE | AAAI 2024 (official version and optimized version).☆17Apr 16, 2024Updated last year
- 在 Telegram 上快速模仿迟先生卖弱。☆16Feb 16, 2026Updated last week
- ☆11Nov 13, 2024Updated last year
- Rust bindings for CoreServices framework☆11Aug 13, 2024Updated last year
- Code Scorer using LLM☆14Sep 17, 2024Updated last year
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 7 years ago
- Ollama chat client powered by Tauri & Next.js☆20Aug 15, 2025Updated 6 months ago
- 📚 Some notes and projects of courses in Shanghai Jiao Tong University☆12Jan 30, 2026Updated last month
- [ACL 2025] RealHiTBench: A Comprehensive Realistic Hierarchical Table Benchmark for Evaluating LLM-Based Table Analysis☆24Aug 8, 2025Updated 6 months ago
- Assignments of Stanford CS231n CV course.☆13Mar 4, 2024Updated last year
- Obtain the number of threads in the current process☆17Feb 15, 2024Updated 2 years ago
- SJTU thesis template version 2021, modified from the official version☆46Jan 4, 2022Updated 4 years ago
- ☆12Oct 23, 2021Updated 4 years ago
- DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell☆22Mar 13, 2014Updated 11 years ago
- Programming guide for AI2615, Algorithm Design and Analysis☆12Jan 17, 2026Updated last month
- Repository of all kinds of entities.☆14Oct 23, 2022Updated 3 years ago
- An analysis of GitHub 2019, for study purpose☆23Jan 13, 2020Updated 6 years ago
- Official code for the paper, "TaCA: Upgrading Your Visual Foundation Model with Task-agnostic Compatible Adapter".☆16Jun 20, 2023Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- code for sjtu online judge☆13Dec 20, 2018Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Fixpoint data types☆21Jan 2, 2026Updated last month
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated last month
- Library of Coq proof automation☆16Feb 15, 2022Updated 4 years ago
- Git Fastimport parser and generator in Python☆26Dec 16, 2025Updated 2 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 3 years ago