基于Metropolis修改的北大风格Beamer主题
☆29May 29, 2022Updated 4 years ago
Alternatives and similar repositories for PKU-Beamer-Theme
Users that are interested in PKU-Beamer-Theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- 某学校选课系统GIF验证码数据集 + Baseline模型 + 上下游相关工具☆28Mar 12, 2021Updated 5 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- 北京大学跑步软件PKURUNNER破解☆21May 13, 2021Updated 5 years ago
- 北大选课网2021年春季验证码识别☆35Mar 12, 2021Updated 5 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.
- An updating gadget for PKU 2022 spring semester, forked from Zhongxinghong's original repo, on which basis bugs are fixed and new functio…☆42Sep 5, 2022Updated 4 years ago
- 一个北大教学网的美化样式☆372Sep 21, 2026Updated 3 weeks ago
- PKU Elective | 北大傻瓜化自动选课☆35Feb 14, 2024Updated 2 years ago
- A-SOUL表情包CSS☆10May 10, 2022Updated 4 years ago
- ☆15Feb 5, 2026Updated 8 months ago
- 在选课季有一些作用的小玩意☆66Feb 21, 2022Updated 4 years ago
- ☆10Aug 16, 2022Updated 4 years ago
- 北大选课网补退选阶段自动选课小工具2023春季版(不定长验证码-TensorFlow版)☆47Jun 8, 2023Updated 3 years ago
- Data and code required to reach the main conclusions of the fastsmcg paper☆11Sep 19, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- many-body perturbation theory without empty states☆13Jul 6, 2018Updated 8 years ago
- WeChat Mini Program (微信小程序) development skill for Claude Code☆16Feb 14, 2026Updated 8 months ago
- ☆15Jun 11, 2025Updated last year
- a demonstration of Davidson eigensolver for TDA and TDDFT problem based on PySCF☆11Sep 24, 2024Updated 2 years ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Updated this week
- 日常事务 LaTeX 懒人包☆37Sep 4, 2022Updated 4 years ago
- A library of Python modules for reading/writing and manipulating data associated with the wannier90 code☆14Mar 30, 2021Updated 5 years ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆46Sep 25, 2026Updated 3 weeks ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- 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.
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- 北大树洞备份关注列表脚本☆14Sep 12, 2022Updated 4 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- 北京大学物理化学实验报告写作的参考模板。☆11Jan 10, 2021Updated 5 years ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- 简单的北大风格 Typora 主题。/ A simple Typora theme in Peking University style.☆11Mar 15, 2023Updated 3 years ago
- A demonstration of Hartree Fock program☆14Jan 20, 2023Updated 3 years ago
- ☆15May 28, 2025Updated last year
- 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.
- Jupyter to Typst converter with template support☆21Aug 20, 2026Updated last month
- Serializing molecule 3D structures☆14Nov 27, 2024Updated last year
- Leptos component wrapper for Material Web Components☆27Aug 23, 2024Updated 2 years ago
- A tool for extracting plain text and internal Wikipedia links from Wikipedia dumps☆11Apr 18, 2019Updated 7 years ago
- Transformer in Chemical Language Model sometimes misunderstands chirality☆13Apr 19, 2024Updated 2 years ago
- An integrated framework for chemical reaction feasibility prediction. This is a structured solution for one of the Chemistry Challenges o…☆12May 31, 2022Updated 4 years ago
- ☆10Jun 12, 2023Updated 3 years ago