Pinned Repositories
bn_inference
Coursework of CSC442
ecom
An e-commerce backend system based on Java & Spring framework
gospy
🕷 a flexible web crawler framework
kron
A light-weight distributed version control system
philosophers
Chandy and Misra's solution for the drinking philosophers problem
raft
Still fixing bugs
select
repo for the courscio.com
spin_locks
Spin Locks
tic-tac-toe
Basic, advanced and ultimate tic-tac-toe games
tt_entailment
Model Checking & Resolution
jiup's Repositories
jiup/gospy
🕷 a flexible web crawler framework
jiup/raft
Still fixing bugs
jiup/kron
A light-weight distributed version control system
jiup/select
repo for the courscio.com
jiup/spin_locks
Spin Locks
jiup/bn_inference
Coursework of CSC442
jiup/Chollima
Web data collector based on Gospy
jiup/ecom
An e-commerce backend system based on Java & Spring framework
jiup/philosophers
Chandy and Misra's solution for the drinking philosophers problem
jiup/tic-tac-toe
Basic, advanced and ultimate tic-tac-toe games
jiup/tt_entailment
Model Checking & Resolution
jiup/csc453_hw08
Homework of CSC453
jiup/dcf_tracker
jiup/exp_learning
Coursework of CSC442
jiup/exp_ruby_cext
Coursework of CSC453
jiup/httproxy
A simple http proxy
jiup/it_haskell
A slightly taste of Haskell
jiup/jiup.github.io
jiup/pointcloud
A PostgreSQL extension for storing point cloud (LIDAR) data.
jiup/rdt_skeleton
Skeleton for cscx57 project 2
jiup/sssp-chapel
Single-Source Shortest Paths, Δ-stepping in Chapel-lang
jiup/tests
jiup/wegasst
Project for BrickHack6