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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An intelligent comment filter using LLM☆27Jun 27, 2025Updated 9 months ago
- 一个北大教学网的美化样式☆288Mar 3, 2026Updated 3 weeks ago
- 带禁手的五子棋（中国科学院大学 杨力祥老师的公选课《C++程序设计》大作业）☆18Feb 24, 2022Updated 4 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 2 months ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated last month
- Coco/R for Java☆15Aug 14, 2021Updated 4 years ago
- 北京大学计算机基础能力手册☆473Updated this week
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 4 months ago
- Leptos component wrapper for Material Web Components☆22Aug 23, 2024Updated last year
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 9 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- ☆31Dec 30, 2024Updated last year
- 北京大学2023-2024学年ICS计算机系统导论个人资料整理☆22Mar 8, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Source code for supplementary resources to accompany lectures☆30Updated this week
- 北京大学 Typst 模版库☆14May 10, 2024Updated last year
- 北京大学24秋数据结构与算法A笔记☆133Dec 16, 2025Updated 3 months ago
- 2020北京大学数据结构与算法(A)部分作业Archive☆19Jan 1, 2021Updated 5 years ago
- 一个用于创建优雅学术论文风格的 Typst 模板☆33Jun 17, 2025Updated 9 months ago
- Local test cases for SysY compilers, used by compiler-dev.☆28Mar 6, 2026Updated 3 weeks ago
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆20May 4, 2014Updated 11 years ago
- I love algorithms.☆27Dec 25, 2024Updated last year
- Wishing you could have a 🌈☆17Jan 13, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated last year
- 2025 年春季学期北京大学具身智能导论课程的课程笔记、资料，王鹤老师。☆58Sep 19, 2025Updated 6 months ago
- ⚡ Clash for Lab 是为实验室环境设计的科学上网工具，无需sudo权限，优雅地一键式脚本安装☆303Feb 1, 2026Updated last month
- 基于Metropolis修改的北大风格Beamer主题☆28May 29, 2022Updated 3 years ago
- Simple enough but expressive template for notes, reports, and documents for Typst.☆37Mar 18, 2026Updated last week
- 一年过去了，你在白鲸食堂里花的钱都花在哪儿了？☆122Dec 23, 2024Updated last year
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆35Mar 19, 2026Updated last week
- Responsive web layout with wide margins, elegant sidenotes, and restrained typography☆95Updated this week
- ☆47Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 北京大学 2024 年秋季学期信息中的概率统计（信概统）课程作业、笔记、试题。☆37Jan 5, 2026Updated 2 months ago
- ☆122Dec 24, 2025Updated 3 months ago
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated last year
- Python client for coq-lsp☆47Nov 21, 2025Updated 4 months ago
- F22 PKU course “Introduction to Computer System” (ICS) lab solutions. Top 1 in archlab and malloclab.☆37Jan 7, 2023Updated 3 years ago
- PKU Course Community, a platform for sharing notes & selfstudy☆255Sep 15, 2025Updated 6 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆111Updated this week