Pinned Repositories
Analysis_TCP_in_Linux
ayanamists.github.io
ayaseditor
A vscode extension supports edit on s-expression.
Digital-circuit-simplifier
a K-Graph simplify engine and a Synchronous counter generator
Graph-Theroy
中山大学《图论及其应用》课程的资料、作业、部分算法实现
Math-basis-for-Infomation-Security
信息安全数学基础的课件、题目、算法实现
oh-my-old-tweet
A graceful, powerful and easy-to-use tool to see old (including deleted) tweets.
tw-list-dl
A gallery-dl based tool for automatic twitter achieving.
TypeInf
HM Type system
VSpaceCode
Spacemacs like keybindings for Visual Studio Code
ayanamists's Repositories
ayanamists/dnscrypt-proxy
dnscrypt-proxy 2 - A flexible DNS proxy, with support for encrypted DNS protocols.
ayanamists/Hackintosh-Installer-University
open source tutorial & information collector for hackintosh installation. 💻➕🍎
ayanamists/my-website
ayanamists/shadowsocksr
Python port of ShadowsocksR
ayanamists/sysuh3c
H3C CLI Client for SYSU, which is implemented in C/C++. With an OpenWRT version.
ayanamists/Analysis_TCP_in_Linux
ayanamists/haskell-problem-sets
A collection of Haskell practice problems
ayanamists/wifidog-auth-server
This is wifidog auth server proxy from HTTP protocol to Radius protocol implement by golang.
ayanamists/NupenGL
Nuget Package for C++ OpenGL
ayanamists/aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
ayanamists/kernel-tcp
linux内核网络协议栈源码阅读分析注释--带详尽中文分析注释以及相关流程分析调用注释,对理解分析内核协议栈源码很有帮助
ayanamists/ynot
The Ynot Project source code.
ayanamists/scheme.js
Scheme for the browser and Node.js