Skip to content
View pkriens's full-sized avatar

Highlights

  • Pro

Organizations

@osgi @bndtools @aQute-os
Block or Report

Block or report pkriens

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. bndtools/bnd bndtools/bnd Public

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

    Java 523 301

  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 682 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 117 27

  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