Highlights
- Pro
-
-
PKU_Undergraduate_Thesis_Template Public
Forked from EmptyBlueBox/PKU_Undergraduate_Thesis_TemplatePeking University Undergraduate Thesis Template.
Typst MIT License UpdatedMay 6, 2025 -
-
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedNov 2, 2024 -
SRS is a simple, high-efficiency, real-time media server supporting RTMP, WebRTC, HLS, HTTP-FLV, HTTP-TS, SRT, MPEG-DASH, and GB28181.
C++ MIT License UpdatedOct 15, 2024 -
OSSDevelopment Public
Forked from osslab-pku/OSSDevelopment北京大学信息科学技术学院《开源软件技术》课程材料 // Course Materials for “Open Source Software Development and Technology” at School of EECS, Peking University
TeX Other UpdatedSep 18, 2024 -
clash-rules Public
Forked from Loyalsoldier/clash-rules🦄️ 🎃 👻 Clash Premium 规则集(RULE-SET)，兼容 ClashX Pro、Clash for Windows 等基于 Clash Premium 内核的客户端。
GNU General Public License v3.0 UpdatedSep 8, 2024 -
-
-
-
petri Public
Forked from augustebaum/petriTypst-setting Petri nets with CeTZ and fletcher.
Typst MIT License UpdatedMar 31, 2024 -
REKCARC-TSC-UHT Public
Forked from PKUanonym/REKCARC-TSC-UHT清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedMar 30, 2024 -
dockerized Public
Forked from y0ngb1n/dockerized🐳 Build once, run anywhere
Shell UpdatedDec 26, 2023 -
-
V2rayU Public
Forked from yanue/V2rayUV2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等
UpdatedNov 5, 2023 -
clash-core Public
Forked from Kuingsmile/clash-corebackup of clash core
Go GNU General Public License v3.0 UpdatedNov 3, 2023 -
Haskell-QuickCheck-Beijing-exercises Public
Forked from jegi/Beijing-exercisesExercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
Haskell UpdatedOct 13, 2023 -
PKUAutoElective Public
Forked from Hovennnnn/PKUAutoElective北大选课网补退选阶段自动选课小工具（2023秋-不定长验证码）
Python MIT License UpdatedSep 13, 2023 -
awesome-coq Public
Forked from rocq-community/awesome-coqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Creative Commons Zero v1.0 Universal UpdatedJul 7, 2023 -
nlp-phd-global-equality Public
Forked from zhijing-jin/nlp-phd-global-equalityA repo for open resources & information for people to succeed in PhD in CS & career in AI / NLP
UpdatedJun 1, 2023 -
pdf_annotation_fix Public
Forked from julihoh/pdf_annotation_fixFixes macOS Preview garbled annotations
Rust MIT License UpdatedMay 12, 2023 -
alist Public
Forked from AlistGo/alist🗂️A file list program that supports multiple storage, powered by Gin and Solidjs. / 一个支持多存储的文件列表程序，使用 Gin 和 Solidjs。
Go GNU Affero General Public License v3.0 UpdatedFeb 6, 2023 -
-
vpncn.github.io Public
Forked from wg1977/vpncn.github.io2023中国翻墙软件VPN推荐以及科学上网避坑，稳定好用。对比SSR机场、蓝灯、V2ray、老王VPN、VPS搭建梯子等科学上网与翻墙软件，中国最新科学上网翻墙梯子VPN下载推荐。
HTML UpdatedJan 9, 2023 -
CLRS Public
Forked from walkccc/CLRS📚 Solutions to Introduction to Algorithms Third Edition
Markdown MIT License UpdatedDec 3, 2022 -
Apple-Music-Animated-Artwork-Fetcher Public template
Forked from bunnykek/FetcherA python script for downloading animated artworks from Apple-Music.
Python UpdatedAug 18, 2022 -
leeao Public
Forked from whatot/leeao大李敖全集 wjm_tcy mdbook repo
Creative Commons Zero v1.0 Universal UpdatedJul 8, 2022 -
dajian-vpn Public
Forked from mku228/dajian-vpn搭建VPN教程/个人vpn搭建/科学上网/2022搭建ss/一键脚本搭建/梯子/翻墙教程/电脑手机使用VPN
UpdatedJul 6, 2022 -
bypass-paywalls-chrome-clean-magnolia1234 Public
Forked from csns1/bypass-paywalls-chrome-clean-magnolia1234Bypass Paywalls Clean for Chrome (no Google Analytics, lot of updates/bug-fixes and custom sites)
JavaScript MIT License UpdatedJun 1, 2022 -
FibonacciSoup-TextComparer Public
A sublime, concise text comparer designed for Programmers.
1 UpdatedMay 8, 2022