Formal Verification

core

de.adorsys.keymanagement : core

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date:

Last Version: 1.6.1.Final

Release Date:

Last Version: 1.0.5

Release Date:

TwelveMonkeys :: ImageIO :: JPEG plugin

com.github.lafa.twelvemonkeyspurejava.imageio : imageio-jpeg

ImageIO plugin for Joint Photographer Expert Group images (JPEG/JFIF).

Last Version: 1.0.1

Release Date:

Last Version: 1.1.7

Release Date:

jcloud openstack-keystone api

org.jclouds.api : openstack-keystone

jclouds components to access an implementation of OpenStack Keystone

Last Version: 1.6.0

Release Date:

TwelveMonkeys :: ImageIO :: PSD plugin

com.twelvemonkeys.imageio : imageio-psd

ImageIO plugin for Adobe Photoshop Document (PSD).

Last Version: 3.8.2

Release Date:

jMonkeyEngine

org.jmonkeyengine : jme3-lwjgl3

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Last Version: 3.5.2-stable

Release Date:

spring-addons-keycloak

com.c4-soft.springaddons : spring-addons-keycloak

Set of tools I find useful to work with Spring (mostly spring-security for OpenID)

Last Version: 4.4.8

Release Date:

Last Version: 14.0.0.Dev03

Release Date:

TwelveMonkeys :: ImageIO :: PNM plugin

com.twelvemonkeys.imageio : imageio-pnm

ImageIO plugin for NetPBM Portable Any Map (PNM)

Last Version: 3.8.2

Release Date:

I2

city.smartb.i2 : keycloak-auth-client

Identity and Authentication functions

Last Version: 0.8.3

Release Date:

TwelveMonkeys :: ImageIO :: IFF plugin

com.twelvemonkeys.imageio : imageio-iff

ImageIO plugin for Amiga/Electronic Arts Interchange Filed Format (IFF) type ILBM and PBM format.

Last Version: 3.8.2

Release Date:

TwelveMonkeys :: ImageIO :: SGI plugin

com.twelvemonkeys.imageio : imageio-sgi

ImageIO plugin for Silicon Graphics Image Format (SGI)

Last Version: 3.8.2

Release Date:

TwelveMonkeys :: ImageIO :: PICT plugin

com.twelvemonkeys.imageio : imageio-pict

ImageIO plugin for Apple Mac Paint Picture (PICT) format.

Last Version: 3.8.2

Release Date:

TwelveMonkeys :: ImageIO :: TGA plugin

com.twelvemonkeys.imageio : imageio-tga

ImageIO plugin for Truevision TGA Image Format (TGA)

Last Version: 3.8.2

Release Date:

Azure Key Vault Secrets Spring Boot

com.microsoft.azure : azure-keyvault-secrets-spring-boot

Spring Boot package with Azure Key Vault Secrets as PropertySource

Last Version: 0.1.5

Release Date:

Keyple Util Java Lib

org.eclipse.keyple : keyple-util-java-lib

Utility classes for Keyple components

Last Version: 2.1.0

Release Date:

jMonkeyEngine

org.jmonkeyengine : jme3-plugins

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Last Version: 3.5.2-stable

Release Date:

Last Version: 3.17.0

Release Date:

jclouds openstack-keystone api

io.cloudsoft.jclouds.api : openstack-keystone

jclouds components to access an implementation of OpenStack Keystone

Last Version: 1.7.4-ea-brooklyn.1

Release Date:

caf-audit-monkey-auditlog

com.github.cafaudit : caf-audit-monkey-auditlog

Provides applications with a reliable, high-performance solution for recording events pertaining to user and system applications.

Last Version: 3.9.0-853

Release Date:

TwelveMonkeys Core

com.twelvemonkeys : twelvemonkeys-core

The TwelveMonkeys Core library. Contains common utility classes.

Last Version: 2.3

Release Date:

caf-audit-monkey

com.github.cafaudit : caf-audit-monkey

Provides applications with a reliable, high-performance solution for recording events pertaining to user and system applications.

Last Version: 3.9.0-853

Release Date:

Last Version: 3.8.2

Release Date:

Last Version: 2.0.0

Release Date:

xrpl4j :: keypairs

org.xrpl : xrpl4j-keypairs

Parent project for xrpl4j modules.

Last Version: 3.0.0-rc1

Release Date:

TwelveMonkeys :: ImageIO :: PCX plugin

com.twelvemonkeys.imageio : imageio-pcx

ImageIO plugin for ZSoft Paintbrush Format (PCX)

Last Version: 3.8.2

Release Date:

key-domain

me.proton.core : key-domain

Proton Core libraries for Android

Last Version: 8.4.0

Release Date:

TwelveMonkeys :: ImageIO :: Thumbs.db plugin

com.twelvemonkeys.imageio : imageio-thumbsdb

ImageIO plugin for Windows Thumbs DB (Thumbs.db) format.

Last Version: 3.8.2

Release Date:

Last Version: 1.6.1.Final

Release Date:

DKPro Keyphrases - Core

de.tudarmstadt.ukp.dkpro.keyphrases : de.tudarmstadt.ukp.dkpro.keyphrases.core-asl

Parent POM for DKPro projects. This provides some basic configuration for several Maven plugins as well as useful build profiles.

Last Version: 1.5.0

Release Date:

TwelveMonkeys :: ImageIO :: PDF plugin

com.twelvemonkeys.imageio : imageio-pdf

ImageIO plugin for Adobe Portable Document Format (PDF).

Last Version: 3.8.2

Release Date:

Last Version: 3.0.1

Release Date:

ksw4j :: keypairs

io.github.John-Smith-Dav : ksw4j-keypairs

Parent project for ksw4j modules.

Last Version: 1.0.0.3

Release Date:

wso2is.key.manager.core

org.wso2.km.ext.wso2is : wso2is.key.manager.core

WSO2 is an open source application development software company focused on providing service-oriented architecture solutions for professional developers.

Last Version: 1.4.2

Release Date:

kafka-oauth-keycloak-authorizer

io.strimzi : kafka-oauth-keycloak-authorizer

Strimzi uses the Kubernetes operator pattern to provide a way to run an Apache Kafka cluster on Kubernetes in various deployment configurations. The OAuth subproject implements the callbacks for Kafka authentication using OAuth (based on SASL OAUTHBEARER mechanism).

Last Version: 0.10.0

Release Date:

Apache Stanbol Enhancement Engine : Keyword Extraction

org.apache.stanbol : org.apache.stanbol.enhancer.engine.keywordextraction

Implementation of utilities and an engine to extract keywords defined in a controlloed vocabulary from a parsed text. This also provides default implementation to use OpenNLP to parse the text and the Entityhub to search for Entities.

Last Version: 1.0.0

Release Date: