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.
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.
biz.aQute.openapi
A toolchain and very small runtime for using OpenAPI (formerly Swagger) on OSGi and other Java environments
biz.aQute.osgi.util
Contains OSGi Utils
bnd
Bnd/Bndtools. Tooling to build OSGi bundles including Eclipse, Maven, and Gradle plugins.
jpmcli
JPM command line interface tool
aQute.repo
A repository for binary in bnd format
biz.aQute.connect
An OSGi Connect implementation
bnd
bnd, the swiss army knife for OSGi. A tool to build bundles.
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.
pkriens's Repositories
pkriens/maven
maven 3
pkriens/repo
bnd primary major repo
pkriens/notifications
notifications