Giters

seanmcl / 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. Public documentation for users is at the project website:

Home Page:http://www.openjml.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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. Public documentation for users is at the project website.

This material is 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.

About

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. Public documentation for users is at the project website:

http://www.openjml.org

Languages

Language:Java 86.9%Language:HTML 12.5%Language:Shell 0.2%Language:Roff 0.1%Language:CSS 0.1%Language:SMT 0.1%Language:Makefile 0.0%Language:Python 0.0%Language:XSLT 0.0%Language:JavaScript 0.0%Language:Ruby 0.0%