Formal Verification

Siddhi KeyValue - Map Extensions

org.wso2.extension.siddhi.map.keyvalue : siddhi-map-keyvalue-parent

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

Last Version: 1.1.3

Release Date:

keyring-tool

io.bunting.keyring : keyring-tool

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

Last Version: 0.2.0

Release Date:

Quarkus - Test Framework - Examples - Keycloak

io.quarkus.qe : examples-keycloak

Quarkus QE Test Framework is a library enabling the developers to easily deploy multiple Quarkus applications across different platforms in a single test.

Last Version: 0.0.1

Release Date:

Last Version: 1.0.5

Release Date:

Keycloak

io.fabric8.platform.apps : keycloak

Keycloak for use with postgresql

Last Version: 4.0.204

Release Date:

keycloak-js

org.webjars.npm : keycloak-js

WebJar for keycloak-js

Last Version: 10.0.2

Release Date:

Last Version: 18.0.2

Release Date:

st-xlabel-dereification-rdf-transformer

it.uniroma2.art.semanticturkey : st-xlabel-dereification-rdf-transformer

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

Last Version: 11.1

Release Date:

st-showvoc-connector

it.uniroma2.art.semanticturkey : st-showvoc-connector

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

Last Version: 11.1

Release Date:

Last Version: 1.0.6

Release Date:

Acosix Alfresco Keycloak - Parent

de.acosix.alfresco.keycloak : de.acosix.alfresco.keycloak.parent

Addon to provide Keycloak-related customisations / extensions to out-of-the-box Alfresco authentication and authorisation functionality

Last Version: 1.1.0-rc7

Release Date:

com.twelvemonkeys.imageio-core

org.lucee : com.twelvemonkeys.imageio-core

OSGi Version of com.twelvemonkeys.imageio-core

Last Version: 3.8.2

Release Date:

MoveWP3 Kafka Compound-Key Serde

io.dwpbank.movewp3 : kafka-compoundkey-serde

A library to make dealing with composite string keys on Kafka topics a little less painful

Last Version: 1.0.1

Release Date:

Last Version: 1.0.3

Release Date:

microprofile-config-keyvault

com.abnamro.coesd.azure : microprofile-config-keyvault

Custom microprofile-config to inject secrets from Azure KeyVault using Managed Service Identity

Last Version: 1.1.1

Release Date:

Last Version: 0.9.0

Release Date:

Key Connect Server

app.keyconnect : keyconnect-server

Standalone Key Connect API Server

Last Version: 1.0.0

Release Date:

Kyknox Java/Android SDK

com.virgilsecurity.sdk : keyknox

Virgil is a stack of security libraries (ECIES with Crypto Agility wrapped in Virgil Cryptogram) and all the necessary infrastructure to enable seamless, end-to-end encryption for any application, platform or device. Learn about Virgil Java/Android SDK https://virgilsecurity.com/api-docs/java-android/quickstart

Last Version: 6.0.1

Release Date:

Twikey Api

com.twikey : twikey-api-java

Official wrapper around the Twikey.com rest api

Last Version: 0.1.6

Release Date:

embedded-keycloak-spring

pl.grizzlysoftware : embedded-keycloak-spring

Spring integration module of Embedded Keycloak for Java

Last Version: 1.0.1

Release Date:

Last Version: 0.1.139

Release Date:

Last Version: 1.0.1.22051601

Release Date:

RsaApiKeyValidator

io.toxicity : rsa-api-key-validator-tvosarm64

RSA API Key validator for Mobile Clients

Last Version: 2.0.3

Release Date:

Last Version: 0.4.3

Release Date:

Last Version: 3.14.0

Release Date:

Parent POM

com.networknt : light-chaos-monkey

Light 4J Chaos Monkey Handlers

Last Version: 2.1.1

Release Date:

Last Version: 0.1.139

Release Date:

Last Version: 0.1.139

Release Date:

Last Version: 2.2.3

Release Date:

Last Version: 1.0.6.OSS

Release Date:

caf-audit-monkey-container

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

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:

VirtualKeyboard

de.sciss : virtualkeyboard

A virtual keyboard in Swing for Java SE applications

Last Version: 1.0.0

Release Date:

net.weweave.commerce:key

net.weweave.commerce : key

License Key Validator for weweave Commerce.

Last Version: 1.0.2

Release Date:

keycloak

org.webjars.bower : keycloak

WebJar for keycloak

Last Version: 3.3.0-cr.1

Release Date:

TwelveMonkeys :: ImageIO :: JPEG/JEP-262 Interop

com.twelvemonkeys.imageio : imageio-jpeg-jep262-interop

Test JPEG plugin and JEP-262 (JDK TIFF plugin) interoperability

Last Version: 3.8.2

Release Date: