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