Repository Index

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

The repository host gives no description.

• concurrency
• data-structures
• queues
• lock-free

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 language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.

Less CSS compiler written in Java

Jmeter as code is the easy way to write jmeter test as code.

• jmeter
• java
• performance-testing
• performance

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi