Pinned Repositories
acteve
Dynamic Symbolic Execution of Android Apps
ahni
Another HyperNEAT Implementation
Android-Cookbook-Examples
Collected code examples from the O'Reilly Android Cookbook. See README below!
Android-Face-Recognition-with-Deep-Learning-Test-Framework
Face Recognition framework for Android devices can be used to test different face recognition methods.
android-platforms
A collection of all android.jar files for the different platform versions.
android-security-awesome
A collection of android security related resources
android-testing
A collection of samples demonstrating different frameworks and techniques for automated testing
rsets
practicing data mining
turbine-damage-probability
Predicts probability of turbines being damaged in lightning storms
leima-hit's Repositories
leima-hit/acteve
Dynamic Symbolic Execution of Android Apps
leima-hit/ahni
Another HyperNEAT Implementation
leima-hit/android-platforms
A collection of all android.jar files for the different platform versions.
leima-hit/ApkCombiner
leima-hit/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems.
leima-hit/BluSTL
BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.
leima-hit/builder-generator
An automatic Builder Pattern generator for Java
leima-hit/dependency-analyzer
Various reports about class dependencies between Maven modules
leima-hit/DPMM-Clustering
Java implementation of Dirichlet Process Mixture Model.
leima-hit/GroundHog
Library for implementing RNNs with Theano
leima-hit/jop
Implementation of the Java VM as soft processor core in an FPGA for embedded real-time systems. (this is my personal branch of JOP for working on better I/O support for the Nexys2 board from Digilent)
leima-hit/MILP-MTL
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
leima-hit/PUMA
Programmable UI-Automation Framework for Dynamic App Analysis
leima-hit/semantic-versioning
Java library relying on semver.org principles to check binary code compatibility
leima-hit/sonatype-aether
DEPRECATED: This project moved to Eclipse, please follow the link below to find the new sources.