Pinned Repositories
dpgen
Proof-of-Concept automated program synthesizer for (pure) differential privacy.
statdp
Statistical Counterexample Detector for Differential Privacy
nilaway
Static analysis tool to detect potential nil panics in Go code
last-diff-analyzer
A multi-language tool for checking semantic equivalence for code
aioapcaccess
A asyncio implementation of apcaccess
lightdp
A light-weight imperative language for developing provably privacy-preserving algorithms
MIPS-CPU
A Simulative MIPS CPU running on Logisim.
p2pfs
File System based on P2P, lab of CSE-516 of Penn State University.
scc
Simple C Compiler.
taskmanager
A Windows-Like Task Manager for Linux and macOS with Electron.
yuxincs's Repositories
yuxincs/MIPS-CPU
A Simulative MIPS CPU running on Logisim.
yuxincs/taskmanager
A Windows-Like Task Manager for Linux and macOS with Electron.
yuxincs/scc
Simple C Compiler.
yuxincs/lightdp
A light-weight imperative language for developing provably privacy-preserving algorithms
yuxincs/p2pfs
File System based on P2P, lab of CSE-516 of Penn State University.
yuxincs/traffic-light-control-system
A Simulative Traffic Light Control system on Basys2 board using Verilog. Created for my Digital Logic course project.
yuxincs/parallel-pi
Calculating PI Value In Different Parallel Framework.
yuxincs/aioapcaccess
A asyncio implementation of apcaccess
yuxincs/SmartHome
A SmartHome Simulation For Interface Course Project, Includes Upper and Lower Machine.
yuxincs/core
:house_with_garden: Open source home automation that puts local control and privacy first.
yuxincs/guide
The Uber Go Style Guide.
yuxincs/tools
[mirror] Go Tools