Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Less CSS compiler written in Java
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi