Pinned Repositories
ccls
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
decaf
An implementation of the Decaf language
fast_presburger
flypitch-lean4
lean-demo
linux
Linux kernel source tree
proxychains-ng
proxychains ng (new generation) - a preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies. continuation of the unmaintained proxychains project. the sf.net page is currently not updated, use releases from github release page instead.
recaf
Rust implementation of the decaf language
toy
zhangjunphy's Repositories
zhangjunphy/ccls
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
zhangjunphy/decaf
An implementation of the Decaf language
zhangjunphy/fast_presburger
zhangjunphy/flypitch-lean4
zhangjunphy/lean-demo
zhangjunphy/linux
Linux kernel source tree
zhangjunphy/proxychains-ng
proxychains ng (new generation) - a preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies. continuation of the unmaintained proxychains project. the sf.net page is currently not updated, use releases from github release page instead.
zhangjunphy/recaf
Rust implementation of the decaf language
zhangjunphy/toy
zhangjunphy/xv6-lab
6.828 lab solutions
zhangjunphy/xv6-public
xv6 OS
zhangjunphy/zhangjunphy