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/aQute.repo
A repository for binary in bnd format
pkriens/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/play
A repo to play with different technologies, prototypes
pkriens/posthooktest
Test for posthooks
pkriens/repo
bnd primary major repo
pkriens/alloy
A language and tool for relational models
pkriens/AlloyAnalyzer
An unofficial copy of MIT's Alloy Analyzer model checking tool.
pkriens/aQute.open
A repository with open source bundles from aQute
pkriens/boilerplate-java
A boilerplate that demonstrates the WeDeploy Java container
pkriens/Cognitive-Speech-STT-JavaScript
JavaScript SDK for the Microsoft Speech-to-Text API, part of Cognitive Services
pkriens/com.acme.prime
An example workspace for the osgi.enroute base tutorial
pkriens/esp8266
Attempts to program for the ESP 8266 WiFi processor
pkriens/felix-unwanted-split-package-messages-tc
pkriens/h2database
H2 is an embeddable RDBMS written in Java.
pkriens/jpm4j.hello
A hello world example to for the jpm (Just another package manager for java). The example shows how to create a hello world program, compile it, and register the binary with JPM.
pkriens/jsocks-mirror
Automatically exported from code.google.com/p/jsocks-mirror
pkriens/jsPlumb
Visual connectivity for webapps
pkriens/kubernetes.github.io
Website/documentation repo
pkriens/models
SunSpec Model Definitions
pkriens/notifications
notifications
pkriens/org.openhab.binding.zwave
pkriens/org.ops4j.pax.useradmin
The Pax UserAdmin project aims to leverage the standard OSGi UserAdmin specification as specified in chapter 107 of the latest OSGi Service Platform Release 4 Compendium Specification Version 4.2
pkriens/osgi.enroute.bundles
Bundles for the OSGi enRoute project. These bundles are simple implementations that can be used to run enRoute for smaller applications and provide an example how to implement it more thoroughly. There are also examples in this repo.
pkriens/osgi.enroute.examples.eval
Example enroute with Maven
pkriens/osgi.enroute.tutorial.base
pkriens/osgi.samples.jpa
pkriens/result-flow
Java library for functional style "Railway Oriented Programming"
pkriens/RHAdditions
Various Objective-C categories and additions that have served me well over the years.
pkriens/WebRTC-Experiment
WebRTC, WebRTC and WebRTC. Everything here is all about WebRTC!!
pkriens/zookeeper