charlesz-chen Goto Github PK

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

checker-framework

Pluggable type-checking for Java

checker-framework-inference

Inference of pluggable types for Java

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.

dataflow-framework

do-like-javac

dotfiles

dyn4j

Java Collision Detection and Physics Engine

ece650

ECE650 assignment code

ece653

file-access-reporter

static analysis java program file access

generic-type-inference-solver

gitim

Clone all of your Github repositories, just single command from your terminal.

homesick

Your home directory is your castle. Don't leave your dotfiles behind.

integration-test

Big integration test of all tools

integration-test2

2nd big integration test of all tools

jmonkeyengine

A complete 3D game development suite written purely in Java.

jreactphysics3d

3D physics engine written in Java. Port of the ReactPhysics3D C++ physics library.

learningneverend

leetcode-solutions

just do some leetcodes

lintcode-notes

lithium

Line-based testcase reducer

minicran

R package to create internally consistent, mini version of CRAN

mix

(Base) mix for vesperin

ode4j

Java 3D Physics Engine & Library

plume-lib

A library of useful abstractions for programming

programming-ebooks

These are all the programming ebooks that I have collected.