huskyii
Compiler@Synopsys; Formal Verification@NexTop/@ArcasTech; Silicon Design Engineer @amd. All programs are compiler.
@AMDShanghai
Pinned Repositories
2020_DVCon_Deadlock
dotfiles
headscale
An open source, self-hosted implementation of the Tailscale control server
huskyii.github.io
immortalwrt-mt798x
An Immortalwrt variant for mediatek mt798x routers.
learning-material
A list of good learning material.
ord
👁🗨 Rare and exotic sats
playbooks
collection of ansible playbooks
satisfy-rs
Bring state of art SAT solvers to rust.
headscale
An open source, self-hosted implementation of the Tailscale control server
huskyii's Repositories
huskyii/learning-material
A list of good learning material.
huskyii/2020_DVCon_Deadlock
huskyii/dotfiles
huskyii/headscale
An open source, self-hosted implementation of the Tailscale control server
huskyii/huskyii.github.io
huskyii/immortalwrt-mt798x
An Immortalwrt variant for mediatek mt798x routers.
huskyii/ord
👁🗨 Rare and exotic sats
huskyii/playbooks
collection of ansible playbooks
huskyii/satisfy-rs
Bring state of art SAT solvers to rust.
huskyii/pods
huskyii/vm-bhyve
Shell based, minimal dependency bhyve manager