Highlights
- Pro
Block or Report
Block or report pkriens
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
bndtools/bnd Public
Bnd/Bndtools. Tooling to build OSGi bundles including Eclipse, Maven, and Gradle plugins.
-
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 switch…
-
AlloyTools/models Public
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
-
-
aQute-os/biz.aQute.openapi Public
A toolchain and very small runtime for using OpenAPI (formerly Swagger) on OSGi and other Java environments
-
211 contributions in the last year
Contribution activity
March 2023
Created 8 commits in 2 repositories
Created a pull request in AlloyTools/org.alloytools.alloy that received 3 comments
Opened 6 other pull requests in 2 repositories
AlloyTools/org.alloytools.alloy
1
open
3
merged
Reviewed 1 pull request in 1 repository
bndtools/bnd
1 pull request
Created an issue in bndtools/bnd that received 1 comment
build.bnd refers to javac.* as 1.8
the build.bnd file has a reference to 1.8 while we're compiling and building with 17. @bjhargrave any reasons?




