Popular repositories Loading

1. bashman bashman Public

   A command-line interpreter of Postman collections.

   Shell 1

2. openjml-intellij-plugin openjml-intellij-plugin Public

   An Intellij IDEA plugin for OpenJML-based Java code verification.

   Java

3. jml-generator jml-generator Public

   An annotation processor for generating JML stubs from Java source files.

   Java

4. openjml-maven-plugin openjml-maven-plugin Public

   A Maven plugin for running OpenJML analysis as a part of the project build lifecycle.

   Java

5. bpmn-pic bpmn-pic Public

   A collection of DPIC macros for generating BPMN 2.0 diagram images for use in various kinds of documents and presentations.

   Roff