Pinned Repositories
alluxio
Alluxio, formerly Tachyon, Memory Speed Virtual Distributed Storage System
astgraph
astgraph with graphviz
astparser
ASTParser written for understanding the structure of Java AST
astview
Java ASTView
coding-is-typing
a vscode extension to re-type something
coding-is-typing-electron
das
the source codes of data structures
jdoop
mapreduce lab
killxin's Repositories
killxin/coding-is-typing
a vscode extension to re-type something
killxin/jdoop
mapreduce lab
killxin/alluxio
Alluxio, formerly Tachyon, Memory Speed Virtual Distributed Storage System
killxin/astgraph
astgraph with graphviz
killxin/astparser
ASTParser written for understanding the structure of Java AST
killxin/astview
Java ASTView
killxin/coding-is-typing-electron
killxin/das
the source codes of data structures
killxin/dm_association
association data mining algorithm
killxin/DumbphoneAssistant
An android app which lets you copy contacts to your SIM card
killxin/ics
codes about icslabs
killxin/itfff
java practice with zcx
killxin/JigsawPuzzle
some games for fun
killxin/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
killxin/jpf-symbc
Symbolic PathFinder
killxin/killxin.github.io
killxin/learndj
web develop homework
killxin/NJU-DisSys-2017
Distributed System, Fall 2017, CS@NJU
killxin/sentiment-classfication
NLP
killxin/student-project
student projects about sat, nlp etc.
killxin/timesync
clock synchronization
killxin/web-server
login, register, logout demo
killxin/webdevelop
practice on web develop