Restore treehole score style.
☆50Jan 6, 2026Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 2024秋-北京大学-离散数学基础-刘田☆20Feb 27, 2025Updated last year
- 北京大学《人工智能中的编程》2024年课程作业代码：基于CUDA和PyBind11的简易CNN训练框架。使用C++/CUDA编写高性能计算内核，通过PyBind11封装为Python库，实现了基础的类PyTorch训练功能。当前版本较为精简，仅供参考学习。☆17Jan 15, 2026Updated 5 months ago
- 这是一个为 Claude Code / AI Agent 设计的诊断技能（Skill）。它通过自省式分析和多项特定的压力测试，帮助用户检测当前使用的 API 是否为官方原版的 Claude 4.6 模型，或者是否存在第三方中转、提示词注入与封装。☆133Mar 24, 2026Updated 3 months ago
- Anna Yanami-Themed Musical Snake Game☆14Updated this week
- 一个北大教学网的美化样式☆325Mar 3, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Conservative floating point interval arithmetic in Lean☆26Jan 20, 2026Updated 5 months ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 5 months ago
- 北京大学 2024 年秋 ICS 相关资料☆12May 14, 2025Updated last year
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 5 months ago
- Coco/R for Java☆15Aug 14, 2021Updated 4 years ago
- ☆12Sep 6, 2024Updated last year
- Convert Typst equations into functions☆32Nov 18, 2025Updated 7 months ago
- 北京大学计算机基础能力手册☆558May 23, 2026Updated last month
- ☆24Jun 4, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 7 months ago
- 简单的北大风格 Typora 主题。/ A simple Typora theme in Peking University style.☆11Mar 15, 2023Updated 3 years ago
- Leptos component wrapper for Material Web Components☆27Aug 23, 2024Updated last year
- Jupyter to Typst converter with template support☆20Apr 23, 2026Updated 2 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Q-book LaTeX 书籍模板☆21Jun 11, 2019Updated 7 years ago
- Source code for supplementary resources to accompany lectures☆30May 4, 2026Updated 2 months ago
- ☆31Dec 30, 2024Updated last year
- 北京大学24秋数据结构与算法A笔记☆132Dec 16, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 北京大学2023-2024学年ICS计算机系统导论个人资料整理☆24Mar 8, 2024Updated 2 years ago
- 北京大学 Typst 模版库☆15May 10, 2024Updated 2 years ago
- A gobang robot based on reinforcement learning.☆168Mar 28, 2023Updated 3 years ago
- Local test cases for SysY compilers, used by compiler-dev.☆27Mar 6, 2026Updated 4 months ago
- Wishing you could have a 🌈☆15Jan 13, 2026Updated 5 months ago
- ☆17Jun 30, 2015Updated 11 years ago
- I love algorithms.☆28Dec 25, 2024Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated 2 years ago
- 基于Qt/C++ 框架编写的简易植物大战僵尸游戏☆23Aug 27, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 2025 年春季学期北京大学具身智能导论课程的课程笔记、资料，王鹤老师。☆75Sep 19, 2025Updated 9 months ago
- 基于Metropolis修改的北大风格Beamer主题☆29May 29, 2022Updated 4 years ago
- 一年过去了，你在白鲸食堂里花的钱都花在哪儿了？☆120Dec 23, 2024Updated last year
- ⚡ Clash for Lab 是为实验室环境设计的科学上网工具，无需sudo权限，优雅地一键式脚本安装☆374Feb 1, 2026Updated 5 months ago
- Simple enough but expressive template for notes, reports, and documents for Typst.☆39Apr 10, 2026Updated 2 months ago
- ☆46Updated this week
- Responsive web layout with wide margins, elegant sidenotes, and restrained typography☆121Mar 24, 2026Updated 3 months ago