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/bnd
bnd, the swiss army knife for OSGi. A tool to build bundles.
pkriens/pkriens.github.io
Business web site
pkriens/actions
Testing actions
pkriens/Alloy.tmbundle
A TextMate 2 bundle for Alloy: a language and tool for relational models
pkriens/bindex
OSGi Bundle Repository Indexer MOVED to https://github.com/bndtools/bnd/tree/master/org.osgi.impl.bundle.repoindex.cli
pkriens/biz.aQute.bnd.idea
pkriens/biz.aQute.gradle.template
A template for gradle releases
pkriens/conveyor
Gradle plugin, user guide and discussion forums for Conveyor
pkriens/dockertesting
pkriens/drone-ttgo
pkriens/eclipse.jdt.ls
Java language server
pkriens/eclipse.platform
pkriens/electrod
Formal analysis for the Electrod formal specification language
pkriens/felix-dev
Apache felix
pkriens/foobar
pkriens/freemarker
pkriens/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
pkriens/graphql-java-page
This is the repo of the GraphQL Java Documentation at www.graphql-java.com
pkriens/intellij-bnd
pkriens/jextract
https://openjdk.org/projects/code-tools
pkriens/jgit
JGit, the Java implementation of git
pkriens/jline3
JLine is a Java library for handling console input.
pkriens/lambda-factory
A fast alternative to Java Reflection API's method invocation
pkriens/learning-alloy
experiments with Alloy
pkriens/lfs
pkriens/logging-log4j2
Apache Log4j 2 is an upgrade to Log4j that provides significant improvements over its predecessor, Log4j 1.x, and provides many of the improvements available in Logback while fixing some inherent problems in Logback's architecture.
pkriens/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.
pkriens/setup-jpm
A Github Action to install bnd in the local command line
pkriens/standalone-repo
pkriens/workspace.tool.gradle
Contains the gradle part of a workspace