Alternatives and similar repositories for OEIS-Spider

Users that are interested in OEIS-Spider are comparing it to the libraries listed below

• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆93Updated last week
• OSH-2024 / osh-2024.github.io
  USTC OSH 2024 Course Homepage
  ☆15Updated last year
• ftiasch / icpc-camp-wiki
  ☆66Updated 5 years ago
• banana-space / btex
  ☆52Updated last year
• ftiasch / ccpc-final-2020
  ☆31Updated last year
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆21Updated 3 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆144Updated last year
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆47Updated 2 years ago
• shuosc / SHU-Bachelor-Thesis-Typst
  上海大学本科生毕业论文Typst模板
  ☆81Updated 2 weeks ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆135Updated last month
• fstqwq / Nemesis
  XCPC Standard Code Library
  ☆49Updated last year
• banana-space / banana-space
  ☆203Updated last year
• Wallbreaker5th / fuzzy-cnoi-statement
  A Typst template for CNOI-style statements for competitive programming. | CNOI 题面排版风格的 Typst 模板。
  ☆35Updated 4 months ago
• roife / resume
  My resume
  ☆53Updated 2 months ago
• gaoachao / uniquecv-typst
  A simple resume template written in Typst
  ☆66Updated 9 months ago
• slhmy / SHUpdtp
  Program design&training platform server for Shanghai University.
  ☆14Updated 3 years ago
• FuryMartin / I-QinShiHuang-Money
  我，秦始皇，打钱！可以开发票。
  ☆56Updated last year
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• OI-wiki / OI-Wiki-export
  将 OI-Wiki 导出为印刷质量的 pdf 的工具
  ☆330Updated last week
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 5 months ago
• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆28Updated 2 years ago
• rqy2002 / OI-Problem-Codes
  _rqy's codes of OI problems.
  ☆28Updated 7 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆50Updated 5 years ago
• EntropyIncreaser / ioi2020-homework
  ☆25Updated 5 years ago
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆33Updated last year
• 7sDream / fonts-and-layout-zhCN
  《Fonts and Layout for Global Scripts》中文版。一本关于字体设计、Unicode和计算机中复杂文本处理的免费书籍。
  ☆38Updated last year
• GitPinkRabbit / Number-Theory-in-Competitive-Programming
  算法竞赛中的数论 – 系列课件
  ☆97Updated 2 years ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• nju-lug / modern-nju-thesis
  南京大学学位论文 Typst 模板 modern-nju-thesis
  ☆221Updated 8 months ago
• fedstack-org / aoi
  The Ultimate Online Judge Platform.
  ☆20Updated 2 months ago