leima-hit's repositories
jayhorn
Static checker for Java
sapienz
A Research Prototype of Multi-objective Automated Testing for Android Applications
jsinspect
Detect copy-pasted and structurally similar code
App-DL
Deep Learning and applications in Startups, CV, Text Mining, NLP
nupic
Numenta Platform for Intelligent Computing: a brain-inspired machine intelligence platform, and biologically accurate neural network based on cortical learning algorithms.
jitwatch
Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.
turbine-damage-probability
Predicts probability of turbines being damaged in lightning storms
awesome-nlp
:book: A curated list of resources dedicated to Natural Language Processing (NLP)
coursera-android
Source Code for Android Course Example Applications
tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
astor
Inria & University of Lille's automatic software repair framework for Java - GenProg/jGenProg - Kali/jKali - jMutRepair
github-mirror
Scripts to mirror Github in a cloudy fashion
TopDeepLearning
A list of popular github projects related to deep learning
Piggybacking
Ungrafting Malicious Code from Piggybacked Android Apps
combinatoricslib3
A library to generate permutations, combinations and other combinatorial sequences for Java 8
open-source-android-apps
Open-Source Android Apps
api-mining
Probabilistic API Mining
docker-adb
Dockerfile and instructions for ADB.
DeepLearning
Deep Learning (Python, C, C++, Java, Scala, Go)
UMTG
UMTG is a toolset for automatically generating executable and traceable system test cases from use case specifications and domain model.
combinatoricslib
Very simple java library to generate permutations, combinations and other combinatorial sequences
juppaal
Java API for working with UPPAAL model files
cav_experiments
Experimental setup. Look at TravisCI to see the results of the experiments.
DynSlicer
Use Randoop, Daikon, ASM, and Soot to generate executable error traces.
banana-refactoring
A tool for automatically refactoring test cases in smaller and purer parts
minerva
Minerva: a fast and flexible tool for deep learning on multi-GPU. It provides ndarray programming interface, just like Numpy. Python bindings and C++ bindings are both available. The resulting code can be run on CPU or GPU. Multi-GPU support is very easy.
ConDroid
Symbolic/concolic execution of Android apps