Skip to content
View Sdywolf's full-sized avatar
8 followers · 31 following
  • Peking University
  • Beijing, China

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro
Block or Report

Block or report Sdywolf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • rust-lcf Public

    Rust 2 Updated Jun 20, 2024

  • compilor-tests-generator Public

    Rust Updated Jun 4, 2024

  • hello-world Public

    A place to store ideas,resources,etc.

    C Updated May 19, 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 Updated Mar 30, 2024

  • dockerized Public

    Forked from y0ngb1n/dockerized

    🐳 Build once, run anywhere

    Shell Updated Dec 26, 2023

  • Political_Institutions_in_Ancient_China Public

    TeX Updated Nov 14, 2023

  • V2rayU Public

    Forked from yanue/V2rayU

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

    Updated Nov 5, 2023

  • clash-core Public

    Forked from Kuingsmile/clash-core

    backup of clash core

    Go GNU General Public License v3.0 Updated Nov 3, 2023

  • Haskell-QuickCheck-Beijing-exercises Public

    Forked from jegi/Beijing-exercises

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

    Haskell Updated Oct 13, 2023

  • PKUAutoElective Public

    Forked from Hovennnnn/PKUAutoElective

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

    Python MIT License Updated Sep 13, 2023

  • awesome-coq Public

    Forked from coq-community/awesome-coq

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

    Creative Commons Zero v1.0 Universal Updated Jul 7, 2023

  • nlp-phd-global-equality Public

    Forked from zhijing-jin/nlp-phd-global-equality

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

    Updated Jun 1, 2023

  • pdf_annotation_fix Public

    Forked from julihoh/pdf_annotation_fix

    Fixes macOS Preview garbled annotations

    Rust MIT License Updated May 12, 2023

  • alist Public

    Forked from alist-org/alist

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

    Go GNU Affero General Public License v3.0 Updated Feb 6, 2023

  • vpncn.github.io Public

    Forked from vpncn/vpncn.github.io

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

    HTML Updated Jan 9, 2023

  • CLRS Public

    Forked from walkccc/CLRS

    📚 Solutions to Introduction to Algorithms Third Edition

    Markdown MIT License Updated Dec 3, 2022

  • Apple-Music-Animated-Artwork-Fetcher Public template

    Forked from bunnykek/Fetcher

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

    Python Updated Aug 18, 2022

  • leeao Public

    Forked from whatot/leeao

    大李敖全集 wjm_tcy mdbook repo

    Creative Commons Zero v1.0 Universal Updated Jul 8, 2022

  • dajian-vpn Public

    Forked from mku228/dajian-vpn

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

    Updated Jul 6, 2022

  • FibonacciSoup-TextComparer Public

    A sublime, concise text comparer designed for Programmers.

    1 Updated May 8, 2022

  • upLaTeX-SZ.CLS Public

    Forked from Steve-Cheung-emct/upLaTeX-SZ.CLS

    A Template of Chinese/Japanese vertical book style.

    TeX MIT License Updated Jan 31, 2021

  • codebase Public

    A base for code.

    1 Updated Oct 26, 2017

  • CEGIS Public

    Forked from marcelwa/CEGIS

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

    C++ Other Updated Jan 8, 2017