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.

Последняя версия: 1.1.3

Дата:

keyring-tool

io.bunting.keyring : keyring-tool

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

Последняя версия: 0.2.0

Дата:

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.

Последняя версия: 0.0.1

Дата:

Последняя версия: 1.0.18

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

Последняя версия: 1.0.5

Дата:

Keycloak

io.fabric8.platform.apps : keycloak

Keycloak for use with postgresql

Последняя версия: 4.0.204

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

keycloak-js

org.webjars.npm : keycloak-js

WebJar for keycloak-js

Последняя версия: 10.0.2

Дата:

Последняя версия: 18.0.2

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

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)

Последняя версия: 11.1

Дата:

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)

Последняя версия: 11.1

Дата:

Последняя версия: 0.1.1+13-1804a156

Дата:

Последняя версия: 1.0.6

Дата:

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

Последняя версия: 1.1.0-rc7

Дата:

Последняя версия: 4.0.0.Beta4

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

com.twelvemonkeys.imageio-core

org.lucee : com.twelvemonkeys.imageio-core

OSGi Version of com.twelvemonkeys.imageio-core

Последняя версия: 3.8.2

Дата:

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

Последняя версия: 1.0.1

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

Последняя версия: 1.0.3

Дата:

microprofile-config-keyvault

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

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

Последняя версия: 1.1.1

Дата:

Последняя версия: 0.9.0

Дата:

Key Connect Server

app.keyconnect : keyconnect-server

Standalone Key Connect API Server

Последняя версия: 1.0.0

Дата:

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

Последняя версия: 6.0.1

Дата:

Twikey Api

com.twikey : twikey-api-java

Official wrapper around the Twikey.com rest api

Последняя версия: 0.1.6

Дата:

embedded-keycloak-spring

pl.grizzlysoftware : embedded-keycloak-spring

Spring integration module of Embedded Keycloak for Java

Последняя версия: 1.0.1

Дата:

Последняя версия: 0.1.139

Дата:

Последняя версия: 1.0.1.22051601

Дата:

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

Последняя версия: 2.0.3

Дата:

Последняя версия: 0.4.3

Дата:

Последняя версия: 3.1.1

Дата:

Последняя версия: 3.14.0

Дата:

Последняя версия: 2018.5.0

Дата:

Parent POM

com.networknt : light-chaos-monkey

Light 4J Chaos Monkey Handlers

Последняя версия: 2.1.1

Дата:

Последняя версия: 0.1.139

Дата:

Последняя версия: 0.1.139

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

Последняя версия: 1.0.0

Дата:

Последняя версия: 2.2.3

Дата:

Последняя версия: 1.0.6.OSS

Дата:

Последняя версия: 2.0.0-M0+1-b691cde8

Дата:

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.

Последняя версия: 3.9.0-853

Дата:

VirtualKeyboard

de.sciss : virtualkeyboard

A virtual keyboard in Swing for Java SE applications

Последняя версия: 1.0.0

Дата:

Последняя версия: 2.0.0-M2+128-447d383d

Дата:

net.weweave.commerce:key

net.weweave.commerce : key

License Key Validator for weweave Commerce.

Последняя версия: 1.0.2

Дата:

keycloak

org.webjars.bower : keycloak

WebJar for keycloak

Последняя версия: 3.3.0-cr.1

Дата:

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

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

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

Последняя версия: 3.8.2

Дата: