pkriens

Pinned Repositories

• models

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

  Language:Alloy12217827

• org.alloytools.alloy

  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 switching networks. This repository contains the code for the tool.

  Language:Java69620184124

• biz.aQute.openapi

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

  Language:Java5255

• biz.aQute.osgi.util

  Contains OSGi Utils

  Language:Java55156

• bnd

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

  Language:Java525442.2k304

• jpmcli

  JPM command line interface tool

  Language:Java515611

• aQute.repo

  A repository for binary in bnd format

  3301

• biz.aQute.connect

  An OSGi Connect implementation

  Language:Java1300

• bnd

  bnd, the swiss army knife for OSGi. A tool to build bundles.

  Language:Java1201

• ditaa

  ditaa is a small command-line utility that can convert diagrams drawn using ascii art ('drawings' that contain characters that resemble lines like | / - ), into proper bitmap graphics.

  Language:Java1200

pkriens's Repositories