Restore treehole score style.
☆50Jan 6, 2026Updated 2 months ago
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
Sorting:
- 2024秋-北京大学-离散数学基础-刘田☆20Feb 27, 2025Updated last year
- 北京大学《人工智能中的编程》2024年课程作业代码：基于CUDA和PyBind11的简易CNN训练框架。使用C++/CUDA编写高性能计算内核，通过PyBind11封装为Python库，实现了基础的类PyTorch训练功能。当前版本较为精简，仅供参考学习。☆17Jan 15, 2026Updated last month
- An intelligent comment filter using LLM☆27Jun 27, 2025Updated 8 months ago
- 北京大学 2024 年秋 ICS 相关资料☆13May 14, 2025Updated 9 months ago
- Anna Yanami-Themed Musical Snake Game☆14Feb 27, 2026Updated last week
- ☆14Jun 11, 2025Updated 8 months ago
- 北大树洞爬虫☆14Nov 27, 2025Updated 3 months ago
- ☆12Sep 6, 2024Updated last year
- 一个北大教学网的美化样式☆279Updated this week
- Coco/R for Java☆14Aug 14, 2021Updated 4 years ago
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 3 months ago
- 带禁手的五子棋（中国科学院大学 杨力祥老师的公选课《C++程 序设计》大作业）☆18Feb 24, 2022Updated 4 years ago
- ☆14Apr 11, 2025Updated 10 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last month
- Wishing you could have a 🌈☆19Jan 13, 2026Updated last month
- Convert Typst equations into functions☆29Nov 18, 2025Updated 3 months ago
- 北京大学计算机基础能力手册☆347Updated this week
- ☆14Jun 30, 2015Updated 10 years ago
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 8 months ago
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated last month
- 2020北京大学数据结构与算法(A)部分作业Archive☆19Jan 1, 2021Updated 5 years ago
- 北京大学24秋数据结构与算法A笔记☆133Dec 16, 2025Updated 2 months ago
- Solutions for the Projects of the Artificial Intelligence (CS 188) course of UC Berkeley☆34Feb 26, 2026Updated last week
- ☆24Updated this week
- I love algorithms.☆27Dec 25, 2024Updated last year
- [专栏+文章] Sharing my journey exploring the interesting 'X' in CS. (aka Re:CS-From zero to X)☆75Updated this week
- Simple enough but expressive template for notes, reports, and documents for Typst.☆35Jul 28, 2025Updated 7 months ago
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated last year
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated last month
- 2025 年春季学期北京大学具身智能导论课程的课程笔记、资料，王鹤老师。☆50Sep 19, 2025Updated 5 months ago
- ⚡ Clash for Lab 是为实验室环境设计的科学上网工具，无需sudo权限，优雅地一键式脚本安装☆275Feb 1, 2026Updated last month
- Python client for coq-lsp☆47Nov 21, 2025Updated 3 months ago
- F22 PKU course “Introduction to Computer System” (ICS) lab solutions. Top 1 in archlab and malloclab.☆36Jan 7, 2023Updated 3 years ago
- ☆125Dec 24, 2025Updated 2 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆60Jan 11, 2026Updated last month
- 🐱一个精简版，无后端，且仅利用github action运行的精简版友链朋友圈程序，兼容fc的json格式信息，同时支持推送友圈更新，支持他人订阅个人站点并在更新时发送邮箱推送。☆208Updated this week
- PKU Course Community, a platform for sharing notes & selfstudy☆253Sep 15, 2025Updated 5 months ago
- 北京大学 2024 年春季人工智能（AI 基础）基础课程笔记、作业☆66Mar 27, 2025Updated 11 months ago