首页
注册
登录
hughshine 最近的时间轴更新
hughshine's repos on GitHub
TeX · 13 人关注
nku-beamer
一个南开大学beamer模板
TeX · 5 人关注
nju-beamer
simple nju beamer template
JavaScript · 4 人关注
nku-calendar
2017级南开大学网络数据库开发课程项目作业。基于yii2开发的 百年校庆-日历主题 日程管理系统。建议不学yii,搞点现代的前后端开发。
Jupyter Notebook · 1 人关注
btor2-algo-select
1 人关注
hughshine
公开的个人资料仓库
C++ · 1 人关注
lab5-sample2
PHP · 1 人关注
nkutms-yii2
使用yii2开发的南开大学学生活动管理系统(抢票系统)
HTML · 1 人关注
notes
C · 1 人关注
projects
projects for practicing
0 人关注
500lines
500 Lines or Less
0 人关注
AutoECS
One-liner to set up your tools: vim, tmux, and zsh.
0 人关注
awesome-loop-transformation
Paper list about loop transformations, on imperative loop nests, polyhedral model and high-level tensor.
JavaScript · 0 人关注
boilerplate-infosec
A boilerplate for the freeCodeCamp curriculum.
0 人关注
boilerplate-project-stockchecker
A boilerplate for a freeCodeCamp project.
Coq · 0 人关注
CompCert
The CompCert formally-verified C compiler
TeX · 0 人关注
computation-models
Jupyter Notebook · 0 人关注
CS224N-Stanford-Winter-2019
The collection of ALL relevant materials about CS224N-Stanford/Winter 2019 course. THANKS TO THE PROFESSOR AND TAs! 斯坦福大学CS224N 【2019】课程的【所有】相关的资料。感谢Chris Manning教授和Abigail See,感谢所有助教!
0 人关注
csnote-collection
0 人关注
DeathStarBench
Open-source benchmark suite for cloud microservices
TeX · 0 人关注
formal-lang-tex
simple tex template for writting programming language's technical setting
Java · 0 人关注
jmtrace
C++ · 0 人关注
leetcode
0 人关注
LLM-PLSE-paper
Python · 0 人关注
MCM2019-B
China Undergraduate Mathematical Contest in Modeling 2019
Go · 0 人关注
openbilibili
go-common
Coq · 0 人关注
PilkiLib
General purpose coq library
OCaml · 0 人关注
PolyCert-Codegen
ocaml 4.13.1 & coq 8.13.2, mirror of https://github.com/Ekdohibs/PolyGen
Coq · 0 人关注
PolyGen
PolyGen is a code generator for the polyhedral model, written and proved in Coq.
Coq · 0 人关注
promising-comp
Mirror for compcert implementation in promising semantics
0 人关注
promising-opam-coq-archive
hughshine
V2EX 第 388487 号会员,加入于 2019-03-02 00:02:34 +08:00
hughshine.github.io
hughshine
hughshine
提问
技术话题
好玩
工作信息
交易信息
城市相关
hughshine 最近回复了
2021-07-10 21:43:03 +08:00
回复了
aragakiyuii
创建的主题
›
Windows
›
wsl2 怎么设置才能走 clash 的代理?
windows 防火墙开放对 clash 的权限即可用
```
export hostip=$(cat /etc/resolv.conf |grep -oP '(?<=nameserver\ ).*')
export https_proxy="http://${hostip}:7890"
export http_proxy="http://${hostip}:7890"
export all_proxy="sock5://${hostip}:7891"
alias myip="curl
myip.ipip.net
"
```
»
hughshine 创建的更多回复
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
2813 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 13ms ·
UTC 02:44
·
PVG 10:44
·
LAX 18:44
·
JFK 21:44
Developed with
CodeLauncher
♥ Do have faith in what you're doing.