Pinned Repositories
annotation-tools
Tools for type annotations in Java
CC189
Big jump is enough amount of small steps.
CFGVisualization
Control Flow Graph Visualization for Checker Framework
ChasingSomeone
A webApp that used to track someone's social upates
dataflow-framework
ECE650
ECE650 assignment code
file-access-reporter
static analysis java program file access
integration-test2
2nd big integration test of all tools
ReadChecker
multiDeclRefactor
CharlesZ-Chen's Repositories
CharlesZ-Chen/CFGVisualization
Control Flow Graph Visualization for Checker Framework
CharlesZ-Chen/ReadChecker
CharlesZ-Chen/ECE650
ECE650 assignment code
CharlesZ-Chen/CC189
Big jump is enough amount of small steps.
CharlesZ-Chen/file-access-reporter
static analysis java program file access
CharlesZ-Chen/annotation-tools
Tools for type annotations in Java
CharlesZ-Chen/dataflow-framework
CharlesZ-Chen/integration-test2
2nd big integration test of all tools
CharlesZ-Chen/checker-framework
Pluggable type-checking for Java
CharlesZ-Chen/checker-framework-inference
Inference of pluggable types for Java
CharlesZ-Chen/checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
CharlesZ-Chen/do-like-javac
CharlesZ-Chen/dotfiles
CharlesZ-Chen/dyn4j
Java Collision Detection and Physics Engine
CharlesZ-Chen/ECE653
CharlesZ-Chen/generic-type-inference-solver
CharlesZ-Chen/gitim
Clone all of your Github repositories, just single command from your terminal.
CharlesZ-Chen/integration-test
Big integration test of all tools
CharlesZ-Chen/jmonkeyengine
A complete 3D game development suite written purely in Java.
CharlesZ-Chen/jReactPhysics3D
3D physics engine written in Java. Port of the ReactPhysics3D C++ physics library.
CharlesZ-Chen/LearningNeverEnd
CharlesZ-Chen/leetcode-solutions
just do some leetcodes
CharlesZ-Chen/lintcode-notes
CharlesZ-Chen/lithium
Line-based testcase reducer
CharlesZ-Chen/miniCRAN
R package to create internally consistent, mini version of CRAN
CharlesZ-Chen/mix
(Base) mix for vesperin
CharlesZ-Chen/ode4j
Java 3D Physics Engine & Library
CharlesZ-Chen/plume-lib
A library of useful abstractions for programming
CharlesZ-Chen/psmodels
CharlesZ-Chen/the-algorithm
Source code for Twitter's Recommendation Algorithm