Alternatives and similar repositories for Triple-SOS:

Users that are interested in Triple-SOS are comparing it to the libraries listed below

• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆13Updated 4 months ago
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆97Updated last year
• SwitWu / math-physics-equations
  数学物理方程（谷超豪）习题参考解答
  ☆26Updated 8 months ago
• alexmingzhang / amznotes
  LaTeX document class for writing pretty notes
  ☆71Updated last year
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆70Updated 3 months ago
• will-c137 / TG-files
  TG-Files is a collection of course materials for *** Mathematics courses.
  ☆12Updated 11 months ago
• banana-space / banana-space
  ☆157Updated 9 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆32Updated last year
• banana-space / btex
  ☆46Updated 10 months ago
• ZJU-R / zjuTimeTable
  浙江大学选课查看器（第三方版本），一个python的fastapi项目
  ☆16Updated 7 months ago
• HK-SHAO / SCNU-Typst-Template
  SCNU本科学位论文和幻灯片模板
  ☆32Updated 8 months ago
• ForeverHaibara / Prover
  Auto math prover.
  ☆10Updated 6 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 7 months ago
• Azure1210 / elegantbook-magic-revision
  Elegentbook魔改版本!
  ☆71Updated 2 years ago
• woct0rdho / project-asteria
  Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students
  ☆43Updated 3 years ago
• Chen-Jialin / Assignment-Template
  可爱而优雅的 LaTeX 作业模板。Cute and elegant LaTeX template for assignments.
  ☆28Updated 3 months ago
• SwitWu / ODE-DingTongren-Solutions
  常微分方程（丁同仁、李承治著）习题解
  ☆21Updated 10 months ago
• ZhiqiuCao / Googology
  This is the latest version of textbook《大数理论》(Googology).
  ☆36Updated last week
• Howardzhangdqs / jumping-latex-ocr
  ☆123Updated 6 months ago
• wenweili / AlJabr-1
  Methods in Algebra (Volume 1): A Chinese textbook on Algebra
  ☆403Updated this week
• Azure1210 / VividBooK
  原ElegantBook魔改版/gorgeousnbook书籍模板更新版
  ☆42Updated last year
• typst-doc-cn / typst-doc-cn.github.io
  社区驱动的非官方 Typst 中文文档。
  ☆47Updated last month
• maki-math / maki-web-hexo
  ☆132Updated last year
• T0nyX1ang / WHU-BeamerTemplate
  A beamer template based on Wuhan University's spots.
  ☆7Updated 4 years ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆14Updated last week
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆98Updated 7 months ago
• Xiaohai62442 / Notes
  Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.
  ☆12Updated 6 months ago
• LogCreative / PGFPlotsEdt
  Faster to PGFPlot in LaTeX - A PGFPlots Statistic Graph Interactive Editor; PGFPlots Online
  ☆67Updated 5 months ago
• YangLaTeX / thubeamer
  A Beamer Theme for Tsinghua University (THU).
  ☆75Updated last year