Skip to content
@OpenJML

OpenJML

Pinned Loading

  1. OpenJML 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 licensed. The active issues list for O…

    Java 145 34

  2. Specs Specs Public

    Contains the specifications for the Java language used by OpenJML.

    Java 4 8

Repositories

Showing 10 of 13 repositories
  • 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 licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

    OpenJML/OpenJML’s past year of commit activity
    Java 145 34 135 8 Updated Jul 29, 2024
  • OpenJMLDemo Public
    OpenJML/OpenJMLDemo’s past year of commit activity
    Java 2 2 0 0 Updated Jul 28, 2024
  • Specs Public

    Contains the specifications for the Java language used by OpenJML.

    OpenJML/Specs’s past year of commit activity
    Java 4 8 2 3 Updated Jul 28, 2024
  • JMLAnnotations Public

    The Java annotations defined by JML

    OpenJML/JMLAnnotations’s past year of commit activity
    Java 1 1 0 0 Updated Feb 23, 2024
  • 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 developers [github.com/OpenJML/OpenJML/wiki].

    OpenJML/openjml.github.io’s past year of commit activity
    Java 1 GPL-2.0 3 0 1 Updated Jan 27, 2024
  • OpenJML-UpdateSite Public
    OpenJML/OpenJML-UpdateSite’s past year of commit activity
    CSS 0 1 0 0 Updated Nov 15, 2021
  • Solvers Public

    A collection of SMT solvers used by OpenJML

    OpenJML/Solvers’s past year of commit activity
    0 1 0 0 Updated May 6, 2020
  • SMTSolvers Public

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

    OpenJML/SMTSolvers’s past year of commit activity
    0 0 0 0 Updated May 6, 2020
  • try-openjml Public

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

    OpenJML/try-openjml’s past year of commit activity
    Java 0 2 0 1 Updated Dec 7, 2019
  • jdk8u-dev-langtools Public
    OpenJML/jdk8u-dev-langtools’s past year of commit activity
    Java 0 GPL-2.0 1 0 0 Updated Mar 25, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…