Pinned Loading

1. jdk jdk Public

   Forked from openjdk/jdk

   JDK main-line development

   Java

2. scratchpad scratchpad Public

   Assembly

3. benchmarks benchmarks Public

   Shell

4. factorize factorize Public

   Java

5. jpf-core jpf-core Public

   Forked from javapathfinder/jpf-core

   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 infrastruc…

   Java

6. microsoft/openjdk-jdk25u microsoft/openjdk-jdk25u Public

   Read-only mirror of openjdk/jdk25u

   Java 11 12