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/alloydocs
Proposed documentation for alloytools.org
pkriens/node-js-getting-started
Getting Started with Node on Heroku
pkriens/biz.aQute.connect
An OSGi Connect implementation
pkriens/intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
pkriens/hello-alloy
Learning and applying https://alloytools.org/
pkriens/com.example
pkriens/asciidoctor-pdf
:page_with_curl: Asciidoctor PDF: A native PDF converter for AsciiDoc based on Asciidoctor and Prawn, written entirely in Ruby.
pkriens/openhab-core
Core framework of openHAB
pkriens/asciidoctor.org
:globe_with_meridians: Asciidoctor project site. Composed in AsciiDoc. Baked with Awestruct.
pkriens/vscode-maven
VSCode extension "Maven for Java"
pkriens/martijn
Little tool to convolute food place against distance
pkriens/parboiled
Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
pkriens/test
pkriens/osgi.enroute.examples.resolver
A repo with examples for resolving
pkriens/bndtools
Eclipse tools for developing OSGi bundles
pkriens/smarthome
Eclipse SmartHomeā¢ project
pkriens/osgi.enroute.examples.concurrency
Examples for the Concurrency best practices App Note on enRoute http://enroute.osgi.org/appnotes/concurrency.html
pkriens/felix
Mirror of Apache Felix
pkriens/openhab-distro
The binary distribution of openHAB
pkriens/oomph_bnd_example
pkriens/proposal
Go Project Design Documents
pkriens/libmbus
Meter-bus library and utility programs
pkriens/felix.scr.cycle
An example of a Felix SCR cycle problem. In 2.0.2 cycles cause a log entry and exception but in 2.0.4 and later it is possible that dynamic dependencies are lost
pkriens/keras-hello-world
pkriens/encog-java-core
pkriens/org.openhab.binding
A OpenHAB 2.0 repository with the bindings to demonstrate the use of bndtools
pkriens/biz.aQute.openapi
A toolchain and very small runtime for using OpenAPI (formerly Swagger) on OSGi and other Java environments
pkriens/org.alloytools.alloy.models
A public repository to host Alloy models. Feel free to add PR's to extend this database.
pkriens/workflow-translate
:scroll: Google Translate macOS service
pkriens/kodkod
Kodkod solver for relational logic