Skip to content

Social buzz Rising stars Discover Popular New projects

Language: English

한국어
English
中文（简体）
中文（繁體）

Sign in Share a project

Loading project

nomorevibeBuild it. Share it with the world.

Data and ranking methodology Share a project Listing policy

Discover BuzzPopular Me

OpenJML — nomorevibe

Discover›Other›OpenJML

OpenJML

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 Open

OtherJava · C++GitHub @OpenJMLOnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 26; Active repository
Latest version: 21.0.29; OpenJML 21.0.29 · Oct 21
Contributors: 5; Forks 39
Listed on nomorevibe: Oct 22; Repository created July 2015

Languages

Java 75%
C++ 12.9%
C 6.8%
Assembly and others 5.3%

Updates2 in the last 30 days

All

Oct 21OpenJML 21.0.29GitHub release ↗
Oct 2OpenJML 21.0.28GitHub release ↗
Jun 22OpenJML 21.0.27GitHub release ↗

Trending in Other

GitHub star growth between the latest completed 8-hour observations

View all 39 ›

Windows-GPU-UNLOCK

Windows GPU UNLOCK: RTX3090 UEFI port, Korean no-reset Windows boot guide, verified source and benchmark evidence

Translation pending

Other

马上淋雨 · site preview image

马上淋雨

多场景 AI 工作台的搭建方法与纯壳模板（作者：淋雨家）。注意：不是装完就能用，很多场景要按自己的内容调试。

Translation pending

Other

gpt6-Astra · site preview image

gpt6-Astra

gpt6 Astra-claude-grok4.6-deepseekv4.1flash-glm5.3-gemini破甲越狱 · 冷咖啡 BREAK//OPEN 工作台

Translation pending

Other

Netnyahoo · site preview image

Netnyahoo

Real Chromium for the Mac, free and open source: Arc's sidebar and Dia's polish, with no account. Immune to ads, trackers and prosecution.

Other

Antigravity

Antigravity в России без VPN и смены региона аккаунта Google

Translation pending

Other

Comments

Newest first

···

GitHub issue delivery settings

Checking sign-in status.

Loading comments.

Information

Operator: @OpenJML ↗GitHub repository owner
Website: openjml.org ↗
Repository: openjml/openjml ↗Public · Active
Site and repository: Repository links to this site
Category: Other
Access: Website
Technology stack: Java
Information refreshed: Oct 26GitHub

Do you operate this project?

Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.

Organization repository · verify with a repository file

Sign in, generate a verification file, and commit it to this repository’s default branch within 30 minutes. Files on other branches or forks do not count. Then check the file below to manage the project without administrator approval. Keep the file to retain your access.

If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.

Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.

Verify in one minute

Ask about other verification options

Request an introduction correction or removal

What is your request?Owner request · Owner requests removal from the directoryReport spam or abuse · Spam, malware, or fraudulent projectIntroduction correction · Correct or change the tagline — it stays listed

To help confirm ownership quickly, open a repository issue describing this request or add a file, then paste its URL below.

Reason (optional)

We review within 24 hours. Search engine visibility stops immediately, before review. View the process

Introduction

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:

Taken from the repository README

README

Loading the full README.

Read the full README ↗

README

OpenJML

This is the primary repository for the OpenJML project. The active issues list for OpenJML development is here and the wiki contains information relevant to development. There are other relevant repositories under the OpenJML project, siblings to this one. Public documentation for users is at the project website.

This material is partially based upon work supported by the National Science Foundation under Grant No. ACI-1314674. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Read the full README ↗