leima-hit's repositories
acteve
Dynamic Symbolic Execution of Android Apps
ahni
Another HyperNEAT Implementation
android-platforms
A collection of all android.jar files for the different platform versions.
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems.
BluSTL
BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.
builder-generator
An automatic Builder Pattern generator for Java
dependency-analyzer
Various reports about class dependencies between Maven modules
DPMM-Clustering
Java implementation of Dirichlet Process Mixture Model.
GroundHog
Library for implementing RNNs with Theano
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)
MILP-MTL
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
PUMA
Programmable UI-Automation Framework for Dynamic App Analysis
semantic-versioning
Java library relying on semver.org principles to check binary code compatibility
sonatype-aether
DEPRECATED: This project moved to Eclipse, please follow the link below to find the new sources.