Pinned Repositories
nnn
n³ The unorthodox terminal file manager
adventofcode
aur
firmanal
An automated firmware analysis tool based on Firmadyne (https://github.com/firmadyne/firmadyne)
k8s-manifests
Manifests for kubernetes
leagueoflegends
League of Legends install and launch wrapper for Linux
mimesis
Automated model extraction for network functions
remill
Library for lifting machine code to LLVM bitcode
neo
A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
kyechou's Repositories
kyechou/leagueoflegends
League of Legends install and launch wrapper for Linux
kyechou/mimesis
Automated model extraction for network functions
kyechou/aur-python-pysmt-git
kyechou/adventofcode
kyechou/aur
kyechou/aur-cage-git
kyechou/aur-containernet-git
kyechou/aur-dotool-git
kyechou/aur-everforest-theme-git
kyechou/aur-gargoyle-git
kyechou/aur-gllvm-git
kyechou/aur-gruvbox-theme-git
kyechou/aur-kanagawa-gtk-theme-git
kyechou/aur-mininet
kyechou/aur-mininet-git
kyechou/aur-ns3
kyechou/aur-python-ccsyspath
kyechou/aur-python-cxxfilt-git
kyechou/aur-python-iptables-git
kyechou/aur-python-pypacker
kyechou/aur-python-pypcap
kyechou/aur-retdec
kyechou/aur-wine-lol-staging
kyechou/configs
Dot files and personal configs
kyechou/Everforest-GTK-Theme
Everforest colour palette for GTK
kyechou/glove80-zmk-config
This repo is the official configuration of the MoErgo Glove80 wireless split contoured keyboard. Use it to develop your own keymap and easily build your own ZMK firmware to run on your Glove80.
kyechou/klint
Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
kyechou/kyechou.github.io
kyechou/leetcode
kyechou/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.