Popular repositories Loading

1. omr omr Public

   Forked from eclipse-omr/omr

   Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

   C++

2. openj9 openj9 Public

   Forked from eclipse-openj9/openj9

   OpenJ9

   Java

3. openj9-omr openj9-omr Public

   Forked from eclipse-openj9/openj9-omr

   Eclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR project whenever possible.

   C++

4. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML

5. regression regression Public

   Forked from CakeML/regression

   Regression testing infrastructure for CakeML

   Standard ML

6. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML