Mier Ta's repositories
SymbolicExecution
ECE654 course project
Algorithm-design-and-analysis
Solutions to programming questions
angular-react-dates
Angular wrapper component for Airbnb react-dates.
annotation-tools
Tools for type annotations in Java
awesome-behavioral-interviews
This repository contains tips and resources to prepare for behavioral interviews.
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
CtCI-6th-Edition
Cracking the Coding Interview 6th Ed. Solutions
immutability
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
immutability-example
A repository to store examples that helps developing object immutability type system
jama
JAMA : A Java Matrix Package
jblas
Linear Algebra for Java
jdeb
This library provides an Ant task and a Maven plugin to create Debian packages from Java builds in a truly cross platform manner.
jodconverter
JODConverter automates document conversions using LibreOffice/OpenOffice.org
jReactPhysics3D
3D physics engine written in Java. Port of the ReactPhysics3D C++ physics library.
Leetcode-Solutions
A repository with over 7000 solutions to more than 1800 Leetcode problems written in C++, Python, Java, and Javascript.
react
Real-time physics library for Java, based on the ReactPhysics3D (https://code.google.com/p/reactphysics3d/) library by Daniel Chappuis (http://www.danielchappuis.ch/).
reim
Reference Immutability type system
Spoon-Knife
This repo is for demonstration purposes only.
stubparser
Reads stub files for the Checker Framework
YTMusicUltimate
The best tweak for YouTube Music iOS.