hughshine's recent timeline updates hughshine's recent timeline updateshughshine's repos on GitHub
TeX · 15 watchers
nku-beamer
一个南开大学beamer模板
TeX · 12 watchers
nju-beamer
simple nju beamer template
JavaScript · 4 watchers
nku-calendar
2017级南开大学网络数据库开发课程项目作业。基于yii2开发的 百年校庆-日历主题 日程管理系统。建议不学yii，搞点现代的前后端开发。
Rocq Prover · 4 watchers
PolCert
Towards verified polyhedral compilation. Vibing proving in progress. Codex dev doc: https://github.com/verif-scop/polcert-dev/
C · 3 watchers
ucore_os_lab
os kernel labs for operating systems course in Tsinghua University.
Jupyter Notebook · 2 watchers
btor2-algo-select
C++ · 2 watchers
lab5-sample2
Jupyter Notebook · 1 watchers
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，感谢所有助教！
1 watchers
hughshine
公开的个人资料仓库
PHP · 1 watchers
nkutms-yii2
使用yii2开发的南开大学学生活动管理系统（抢票系统）
HTML · 1 watchers
notes
C · 1 watchers
projects
projects for practicing
C++ · 1 watchers
souffle
C++ · 1 watchers
very-simple-network-programming-demos
学校课程的网络编程样例，来源自《计算机网络·自顶向下》。
0 watchers
500lines
500 Lines or Less
0 watchers
Agent-Learning-Hub
AI Agent 学习路线与资料库收集
0 watchers
assignment1-basics
Student version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
0 watchers
AutoECS
One-liner to set up your tools: vim, tmux, and zsh.
0 watchers
awesome-loop-transformation
Paper list about loop transformations, on imperative loop nests, polyhedral model and high-level tensor.
JavaScript · 0 watchers
boilerplate-infosec
A boilerplate for the freeCodeCamp curriculum.
0 watchers
boilerplate-project-stockchecker
A boilerplate for a freeCodeCamp project.
Coq · 0 watchers
CompCert
The CompCert formally-verified C compiler
TeX · 0 watchers
computation-models
0 watchers
csnote-collection
0 watchers
cutlass
CUDA Templates and Python DSLs for High-Performance Linear Algebra
0 watchers
DeathStarBench
Open-source benchmark suite for cloud microservices
0 watchers
fixate
TeX · 0 watchers
formal-lang-tex
simple tex template for writting programming language's technical setting
Rocq Prover · 0 watchers
GuardCert
Verified Optimistic Optimization (Runtime versioning)
Jupyter Notebook · 0 watchers
handson-polyhedral
tutorials about polyhedral compilation.
Java · 0 watchers
jmtrace
0 watchers
learn-claude-code
Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1
C++ · 0 watchers
leetcode
0 watchers
LLM-PLSE-paper
0 watchers
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Python · 0 watchers
MCM2019-B
China Undergraduate Mathematical Contest in Modeling 2019
Go · 0 watchers
openbilibili
go-common
0 watchers
oxidd
Concurrent decision diagram framework written in Rust
Coq · 0 watchers
PilkiLib
General purpose coq library
OCaml · 0 watchers
PolyCert-Codegen
ocaml 4.13.1 & coq 8.13.2, mirror of https://github.com/Ekdohibs/PolyGen
Coq · 0 watchers
PolyGen
PolyGen is a code generator for the polyhedral model, written and proved in Coq.
0 watchers
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Coq · 0 watchers
promising-comp
Mirror for compcert implementation in promising semantics
0 watchers
promising-opam-coq-archive
0 watchers
psouffle
pSoufflé is a probabilistic Datalog system that associates facts and rules with probabilities and supports efficient probabilistic inference.
Coq · 0 watchers
s2sLoop
Parts of the code of my PhD
0 watchers
sddpp
SDD++: a modern C++ wrapper for the SDD library
0 watchers
sf-opam-coq-archive
Coq · 0 watchers
sflib
for compatability
MLIR · 0 watchers
ssa
A minimal development of SSA theory
0 watchers
THU-Beamer-Theme
A LaTeX beamer theme template for Tsinghua students.
0 watchers
tilelang
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
0 watchers
triton
Development repository for the Triton language and compiler
C · 0 watchers
validated-pluto
Pluto: An automatic polyhedral parallelizer and locality optimizer
Vue · 0 watchers
vampire
Source Code of Vampire.Rip
OCaml · 0 watchers
VPL
for coq 8.13.2
0 watchers
yarpgen
Yet Another Random Program Generator
 |
hughshineV2EX member #388487, joined on 2019-03-02 00:02:34 +08:00 |
hughshine.github.io
hughshine
hughshine's recent replies
Jul 10, 2021 Replied to a topic by 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"
```
```
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"
```
Select Language