sdywolf Goto Github PK

alist

🗂️A file list program that supports multiple storage, powered by Gin and Solidjs. / 一个支持多存储的文件列表程序，使用 Gin 和 Solidjs。

apple-music-animated-artwork-fetcher

A python script for downloading animated artworks from Apple-Music.

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

cegis

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

clash-core

backup of clash core

clrs

📚 Solutions to Introduction to Algorithms Third Edition

codebase

A base for code.

compilor-tests-generator

dajian-vpn

搭建VPN教程/个人vpn搭建/科学上网/2022搭建ss/一键脚本搭建/梯子/翻墙教程/电脑手机使用VPN

dockerized

🐳 Build once, run anywhere

fibonaccisoup-textcomparer

A sublime, concise text comparer designed for Programmers.

haskell-quickcheck-beijing-exercises

Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023

hello-world

A place to store ideas,resources,etc.

leeao

大李敖全集 wjm_tcy mdbook repo

nlp-phd-global-equality

A repo for open resources & information for people to succeed in PhD in CS & career in AI / NLP

pdf_annotation_fix

Fixes macOS Preview garbled annotations

pkuautoelective

北大选课网补退选阶段自动选课小工具（2023秋-不定长验证码）

political_institutions_in_ancient_china

rekcarc-tsc-uht

清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

rust-lcf

uplatex-sz.cls

A Template of Chinese/Japanese vertical book style.

v2rayu

V2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等

vpncn.github.io

2023**翻墙软件VPN推荐以及科学上网避坑，稳定好用。对比SSR机场、蓝灯、V2ray、老王VPN、VPS搭建梯子等科学上网与翻墙软件，**最新科学上网翻墙梯子VPN下载推荐。