cujun

ᕙ(•̀‸•́‶)ᕗ ᕙ(‶•̀‸•́)ᕗ

Samsung ElectronicsSeoul, South Korea

Pinned Repositories

bess_script
Bess script for S6 evaluation
0 2 00
certreq_mac
tcscertrequest is a command line tool to send a certificate request via RPCs to a Microsoft certificate authority.
Language:Objective-C1 2 01
CS402_CW2
2016 Spring CS402(Intro. to Logic in CS) Coursework2: Normal Forms, Validity and Satisfiability
Language:C++0 2 00
CS402_CW3
2016 Spring CS402(Intro. to Logic in CS) Coursework3: SMT Solver & Basic Program Verification
Language:Python00
CS492G_Projects
2017 Fall CS492G(Probabilistic Programming) Projects and Assignments
Language:Clojure00
CS510_TP
CS510 Term Project: AES512
Language:C++01
CS543_HISS
2016 Fall CS543(Distributed Systems) Team Assignment: HISS(Hashtag Image Sharing Service)
Language:Java0 3 00
dotfiles
A set of configuration files on linux tools
Language:Vim script0 2 00
linux
Linux kernel source tree
Language:C0 1 00
Nand2Tetris
From NAND to Tetris Projects
Language:Assembly00

cujun's Repositories

cujun/certreq_mac
tcscertrequest is a command line tool to send a certificate request via RPCs to a Microsoft certificate authority.
Language:Objective-C1 2 01
cujun/bess_script
Bess script for S6 evaluation
0 2 00
cujun/CS402_CW2
2016 Spring CS402(Intro. to Logic in CS) Coursework2: Normal Forms, Validity and Satisfiability
Language:C++0 2 00
cujun/CS402_CW3
2016 Spring CS402(Intro. to Logic in CS) Coursework3: SMT Solver & Basic Program Verification
Language:Python00
cujun/CS492G_Projects
2017 Fall CS492G(Probabilistic Programming) Projects and Assignments
Language:Clojure00
cujun/CS510_TP
CS510 Term Project: AES512
Language:C++01
cujun/CS543_HISS
2016 Fall CS543(Distributed Systems) Team Assignment: HISS(Hashtag Image Sharing Service)
Language:Java0 3 00
cujun/dotfiles
A set of configuration files on linux tools
Language:Vim script0 2 00
cujun/linux
Linux kernel source tree
Language:C0 1 00
cujun/Nand2Tetris
From NAND to Tetris Projects
Language:Assembly00
cujun/engine-cuda
Automatically exported from code.google.com/p/engine-cuda
Language:Cuda1 52
cujun/PostureFixProgram
FinalProject for Capstone Design class
Language:C#