Skip to content
@OpenJML

OpenJML

Pinned Loading

  1. 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 151 34

  2. 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:

    Java 151 34 129 8 Updated Mar 1, 2025
  • Specs Public

    Contains the specifications for the Java language used by OpenJML.

    Java 4 8 2 3 Updated Jan 29, 2025
  • 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].

    Java 1 GPL-2.0 3 0 1 Updated Dec 18, 2024
  • OpenJMLDemo Public
    Java 2 2 0 0 Updated Jul 28, 2024
  • JMLAnnotations Public

    The Java annotations defined by JML

    Java 1 1 0 0 Updated Feb 23, 2024
  • OpenJML-UpdateSite Public
    CSS 0 1 0 0 Updated Nov 15, 2021
  • Solvers Public

    A collection of SMT solvers used by OpenJML

    0 1 0 0 Updated May 6, 2020
  • SMTSolvers Public

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

    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.

    Java 0 2 0 1 Updated Dec 7, 2019
  • jdk8u-dev-langtools Public
    Java 0 GPL-2.0 1 0 0 Updated Mar 25, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…