Jing Zhang's repositories
proc_parser
Linux /proc parser
Propositional-Logic
Implemented two inference methods (truth-table enumeration method & resolution-based theorem prover) for Propositional Logic and demonstrate them on some example problems.
SGD-for-SVM
Implement SGD for SVM for the adult income dataset. Experiment with performance as a function of the capacity parameter C.
SONiC
Landing page for Software for Open Networking in the Cloud (SONiC) - https://sonic-net.github.io/SONiC/
sonic-buildimage
Scripts which perform an installable binary image build for SONiC
sonic-dhcp-relay
SONiC DHCP relay repo
sonic-linkmgrd
Repo For SONiC Buildimage Supporting Gemini ToRs
sonic-mgmt
Configuration management examples for SONiC
sonic-sairedis
SAI object interface to Redis database, as used in the SONiC project
sonic-swss
SONiC Switch State Service (SwSS)
sonic-swss-common
Common components for SONiC switch state service
sonic-utilities
Command line utilities for the SONiC project
tic-tac-toe
Tic-tac-toe games are typical adversarial search problems, and the whole project is about implementing the minimax algorithm on the problem with alpha beta pruning.