Acculivia

汪嗷嗷嗷嗷's repositories

os-experiment

Language:C1 20

百度网盘客户端 - Go语言编写

Language:GoApache-2.0020

...Not that expert to socket programming yet.

Language:Swift020

Data structure course design code

Language:Swift020

📚 Papers/books/essays I like

000

A formalization of M-types in Agda

Language:AgdaBSD-3-Clause020

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Apache-2.0020

For college's OS course's experiment

Language:Swift020

~~~

Language:HTML020

:pencil: My resume / 我的简历

Language:TeXAGPL-3.0020

shadowsocks/shadowsocks-R/shadowsocks-libev/shadowsocks-go/haproxy等一键安装脚本

Language:Shell020

Next Generation of ShadowsocksX https://github.com/shadowsocks/shadowsocks-iOS

Language:JavaScript020

Language:HTML020

020

everything still half finished

Language:JavaScript020

a half-done game written in Swift using SpriteKit

Language:Swift020