Repositories list

• OpenJML

  Public
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so l…

  Java

  •38•172•106•11•Updated Apr 6, 2026Apr 6, 2026

• Specs

  Public
  Contains the specifications for the Java language used by OpenJML.

  Java

  •8•5•3•3•Updated Apr 6, 2026Apr 6, 2026

• openjml.github.io

  Public
  Public facing website for OpenJML containing information for users: [www.openjml.org]. The OpenJML GitHub project wiki contains information for OpenJML develope…

  Java

  •

  GNU General Public License v2.0

  •2•1•0•0•Updated Apr 6, 2026Apr 6, 2026

• JMLAnnotations

  Public
  The Java annotations defined by JML

  Java

  •1•1•0•0•Updated Feb 26, 2026Feb 26, 2026

• OpenJMLDemo

  Public
  Java

  •2•3•0•0•Updated Jan 17, 2026Jan 17, 2026

• Solvers

  Public
  A collection of SMT solvers used by OpenJML

  1•0•0•0•Updated Nov 14, 2025Nov 14, 2025

• jdk8u-dev-langtools

  Public
  Java

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated May 2, 2025May 2, 2025

• OpenJML-UpdateSite

  Public
  CSS

  •1•0•0•0•Updated Nov 15, 2021Nov 15, 2021

• SMTSolvers

  Public
  Eclipse Feature that holds the Solvers plugin, which holds various SMT solvers

  0•0•0•0•Updated May 6, 2020May 6, 2020

• try-openjml

  Public
  Verily-based web application that allows visitors to try out OpenJML from their web browser.

  Java

  •2•0•0•1•Updated Dec 7, 2019Dec 7, 2019

• jdk8u-dev-langtools-old-mirror

  Public archive
  Java

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated Dec 1, 2015Dec 1, 2015

• OpenJMLFeature

  Public
  1•0•0•0•Updated Jun 15, 2015Jun 15, 2015

• openjml-installer

  Public
  Cross platform installer for OpenJML

  GNU General Public License v2.0

  •1•0•0•0•Updated May 7, 2015May 7, 2015