Pinned Loading

1. bndtools/bnd bndtools/bnd Public

   Bnd/Bndtools. Tooling to build OSGi bundles including Eclipse, Maven, and Gradle plugins.

   Java 532 305

2. AlloyTools/org.alloytools.alloy AlloyTools/org.alloytools.alloy Public

   Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

   Java 723 122

3. AlloyTools/models AlloyTools/models Public

   A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

   Alloy 125 28

4. aQute-os/biz.aQute.osgi.util aQute-os/biz.aQute.osgi.util Public

   Contains OSGi Utils

   Java 5 6

5. aQute-os/biz.aQute.openapi aQute-os/biz.aQute.openapi Public

   A toolchain and very small runtime for using OpenAPI (formerly Swagger) on OSGi and other Java environments

   Java 5 5

6. bndtools/jpmcli bndtools/jpmcli Public

   JPM command line interface tool

   Java 5 11