Alternatives and similar repositories for treehole-score-style-restore

Users that are interested in treehole-score-style-restore are comparing it to the libraries listed below

• zyy3077 / Discrete-Maths-PKU-2024fall

  View on GitHub
  2024秋-北京大学-离散数学基础-刘田
  ☆21Feb 27, 2025Updated 11 months ago
• HistoriaNonVult / Yanami-Anna-GreedySnake

  View on GitHub
  Anna Yanami-Themed Musical Snake Game
  ☆14Feb 4, 2026Updated last week
• Beneficial-AI-Foundation / dafny-autopilot

  View on GitHub
  ☆14Jun 11, 2025Updated 8 months ago
• sh06y / xgj-helper

  View on GitHub
  班级小管家辅助系统
  ☆14Nov 3, 2020Updated 5 years ago
• zhuozhiyongde / PKU-Art

  View on GitHub
  一个北大教学网的美化样式
  ☆271Jan 28, 2026Updated 2 weeks ago
• metareflection / dafny-annotator

  View on GitHub
  AI-assisted verification of Dafny Programs
  ☆17Nov 9, 2025Updated 3 months ago
• whcpumpkin / Practice-Manual-for-Fundamentals-of-AI

  View on GitHub
  ☆14Apr 11, 2025Updated 10 months ago
• dafny-lang / Dafny-VMC

  View on GitHub
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆16Nov 4, 2024Updated last year
• 7ijme / eqalc

  View on GitHub
  Convert Typst equations into functions
  ☆29Nov 18, 2025Updated 2 months ago
• zhuozhiyongde / pku-grade-watcher

  View on GitHub
  Wishing you could have a 🌈
  ☆19Jan 13, 2026Updated last month
• 8LWXpg / jupyter2typst

  View on GitHub
  Jupyter to Typst converter with template support
  ☆18Jun 27, 2025Updated 7 months ago
• haoyuzhao123 / LeanIneqComp

  View on GitHub
  An inequality benchmark for theorem proving
  ☆21Feb 1, 2026Updated last week
• wr786 / Key-to-DSA

  View on GitHub
  2020北京大学数据结构与算法(A)部分作业Archive
  ☆19Jan 1, 2021Updated 5 years ago
• ICUlizhi / Data-Structure-and-Algorithm-A-of-pku

  View on GitHub
  北京大学24秋数据结构与算法A笔记
  ☆133Dec 16, 2025Updated last month
• EmptyBlueBox / Data_Structures_And_Algorithms_A-zl-2022Fall-PKU

  View on GitHub
  I love algorithms.
  ☆27Dec 25, 2024Updated last year
• GMyhf / 2024spring-cs201

  View on GitHub
  ☆24Jan 10, 2026Updated last month
• cs106l / cs106l-lecture-code

  View on GitHub
  Lecture code for CS106L
  ☆27Nov 28, 2025Updated 2 months ago
• lvy010 / X-Plore

  View on GitHub
  [专栏+文章] Sharing my journey exploring the interesting 'X' in CS. (aka Re:CS-From zero to X)
  ☆63Feb 6, 2026Updated last week
• TshenmingDhua / PlantsVsZombies

  View on GitHub
  基于Qt/C++ 框架编写的简易植物大战僵尸游戏
  ☆22Aug 27, 2023Updated 2 years ago
• KingRayCao / PKU-Annual-Eat

  View on GitHub
  一年过去了，你在白鲸食堂里花的钱都花在哪儿了？
  ☆122Dec 23, 2024Updated last year
• vsheg / tufted

  View on GitHub
  Responsive web layout with wide margins, elegant sidenotes, and restrained typography
  ☆81Jan 26, 2026Updated 2 weeks ago
• sr-lab / coqpyt

  View on GitHub
  Python client for coq-lsp
  ☆47Nov 21, 2025Updated 2 months ago
• CS-icez / introduction-to-computer-systems

  View on GitHub
  F22 PKU course “Introduction to Computer System” (ICS) lab solutions. Top 1 in archlab and malloclab.
  ☆37Jan 7, 2023Updated 3 years ago
• digama0 / mizar-rs

  View on GitHub
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆59Jan 11, 2026Updated last month
• willow-god / Friend-Circle-Lite

  View on GitHub
  🐱一个精简版，无后端，且仅利用github action运行的精简版友链朋友圈程序，兼容fc的json格式信息，同时支持推送友圈更新，支持他人订阅个人站点并在更新时发送邮箱推送。
  ☆207Updated this week
• zhuozhiyongde / Fundamentals-of-Artificial-Intelligence-2024Spring-PKU

  View on GitHub
  北京大学 2024 年春季人工智能（AI 基础）基础课程笔记、作业
  ☆63Mar 27, 2025Updated 10 months ago
• StephenQSstarThomas / CourseCommunity

  View on GitHub
  PKU Course Community, a platform for sharing notes & selfstudy
  ☆249Sep 15, 2025Updated 4 months ago
• Mondego / dafny-synthesis

  View on GitHub
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Jun 9, 2024Updated last year
• catppuccin / typst

  View on GitHub
  🪶 Soothing pastel theme for Typst
  ☆62Feb 4, 2026Updated last week
• siddhartha-gadgil / Saturn

  View on GitHub
  Experiments with SAT solvers with proofs in Lean 4
  ☆63Jun 23, 2024Updated last year
• sunziping2016 / Qt-PlantsVsZombies

  View on GitHub
  Plants vs Zombies writing with Qt
  ☆49Dec 23, 2021Updated 4 years ago
• trishullab / copra

  View on GitHub
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆70Jan 22, 2026Updated 3 weeks ago
• larrytheliquid / Lemmachine

  View on GitHub
  REST'ful web framework in Agda
  ☆134Sep 5, 2010Updated 15 years ago
• frenzymath / jixia

  View on GitHub
  A static analysis tool for Lean 4.
  ☆113Updated this week
• PL-ML / code2inv

  View on GitHub
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆103Jan 26, 2021Updated 5 years ago
• CS-icez / pku-cs-homework

  View on GitHub
  PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。
  ☆122Jun 21, 2025Updated 7 months ago
• interestingLSY / CUDA-From-Correctness-To-Performance-Code

  View on GitHub
  Codes & examples for "CUDA - From Correctness to Performance"
  ☆123Oct 24, 2024Updated last year
• pku-typst / pkuthss-typst

  View on GitHub
  Typst template for dissertations in Peking University (PKU).
  ☆137Jan 27, 2026Updated 2 weeks ago
• trinitrotofu / BZPRO

  View on GitHub
  BZOJ离线题库 附赠下载器一枚
  ☆129Jan 15, 2022Updated 4 years ago