Pinned Repositories
1000_Projects
:sunglasses: Mega List of practical projects that one can solve in any programming language!
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
SymbolicExecution
ECE654 course project
topnessman's Repositories
topnessman/SymbolicExecution
ECE654 course project
topnessman/Algorithm-design-and-analysis
Solutions to programming questions
topnessman/angular-react-dates
Angular wrapper component for Airbnb react-dates.
topnessman/annotation-tools
Tools for type annotations in Java
topnessman/awesome-behavioral-interviews
This repository contains tips and resources to prepare for behavioral interviews.
topnessman/checker-framework
Pluggable type-checking for Java
topnessman/checker-framework-inference
Inference of pluggable types for Java
topnessman/cmsc330
topnessman/CtCI-6th-Edition
Cracking the Coding Interview 6th Ed. Solutions
topnessman/ECC-RSA-Backdoor
topnessman/generic-type-inference-solver
topnessman/Glacier
Glacier is a type annotation extension to Java that enforces transitive class immutability.
topnessman/immutability
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
topnessman/immutability-example
A repository to store examples that helps developing object immutability type system
topnessman/jama
JAMA : A Java Matrix Package
topnessman/jblas
Linear Algebra for Java
topnessman/jdeb
This library provides an Ant task and a Maven plugin to create Debian packages from Java builds in a truly cross platform manner.
topnessman/jdepend
A Java package dependency analyzer that generates design quality metrics.
topnessman/jodconverter
JODConverter automates document conversions using LibreOffice/OpenOffice.org
topnessman/jReactPhysics3D
3D physics engine written in Java. Port of the ReactPhysics3D C++ physics library.
topnessman/jump
topnessman/Leetcode-Solutions
A repository with over 7000 solutions to more than 1800 Leetcode problems written in C++, Python, Java, and Javascript.
topnessman/ontology
topnessman/playground
topnessman/Projects
:page_with_curl: A list of practical projects that anyone can solve in any programming language.
topnessman/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/).
topnessman/reim
Reference Immutability type system
topnessman/Spoon-Knife
This repo is for demonstration purposes only.
topnessman/stubparser
Reads stub files for the Checker Framework
topnessman/YTMusicUltimate
The best tweak for YouTube Music iOS.