Skip to content
@OpenJML

OpenJML

Pinned

  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 135 31

  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:

    Java 135 31 134 8 Updated Apr 8, 2024
  • Specs Public

    Contains the specifications for the Java language used by OpenJML.

    Java 4 8 2 3 Updated Mar 26, 2024
  • JMLAnnotations Public

    The Java annotations defined by JML

    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].

    Java 1 GPL-2.0 3 0 1 Updated Jan 27, 2024
  • OpenJMLDemo Public
    Java 2 2 0 0 Updated Nov 17, 2021
  • 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…