Formal Verification | JarCasting

zio-aws-keyspaces

dev.zio : zio-aws-keyspaces_3

Low-level AWS wrapper for ZIO

Release Date: Jun 24, 2022

TwelveMonkeys ImageIO Batik Plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-batik

ImageIO wrapper for the Batik SVG Toolkit, enabling Scalable Vector Graphics (SVG) support. See the <a href="http://xmlgraphics.apache.org/batik/">Batik Home page</a> for more information.

Last Version: 2.3

Release Date: May 20, 2010

Keycloak Client CLI

org.keycloak : keycloak-client-cli-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

khs-sherpa-spring

com.keyholesoftware : khs-sherpa-spring

Spring support for Sherpa.

Last Version: 1.3.2

Release Date: Feb 17, 2016

keywords-AsynchronousIo

com.thoughtworks.dsl : keywords-asynchronousio_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-Get

com.thoughtworks.dsl : keywords-get_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

rcm-fitness-common-keystore

com.dell.cpsd.rcm.fitness.keystore : rcm-fitness-common-keystore

This is the standard project for the rcm-fitness-common-keystore that can be used by multiple services to generate the key stores for storing certificate chains or keys.

Last Version: 1.4.0

Release Date: Jul 24, 2017

Keycloak OSGI Core Adapter Integration

org.keycloak : keycloak-osgi-core-adapter

Last Version: 1.1.0.Beta2

Release Date: Dec 6, 2014

TwelveMonkeys :: ImageIO :: reference test cases

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

Test cases for the JRE provided ImageReader implementations for reference.

Last Version: 1.0.1

Release Date: Jul 6, 2017

keywords-Fork

com.thoughtworks.dsl : keywords-fork_sjs0.6_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

zio-aws-keyspaces

dev.zio : zio-aws-keyspaces_2.12

Low-level AWS wrapper for ZIO

Last Version: 5.17.218.1

Release Date: Jun 24, 2022

SSHKey

net.adamcin.sshkey : sshkey

Reference implementation of an SSH Key HTTP Authentication Scheme

Last Version: 0.6.0

Release Date: Dec 6, 2013

API Keys API v2-rev20220530-1.32.1

com.google.apis : google-api-services-apikeys

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

Last Version: v2-rev20220530-1.32.1

Release Date: Jun 1, 2022

Keywhiz (Parent)

com.squareup.keywhiz : keywhiz-parent

A distribution system for secrets.

Last Version: 0.10.1

Release Date: Sep 7, 2019

keychain-passwd-maven-plugin

com.github.sriki77 : keychain-passwd-maven-plugin

This plugin retrieves the password from OSX keychain and sets it as a Maven Project property - which can be used by other plugins.

Last Version: 1.0

Release Date: Feb 6, 2014

com.twelvemonkeys.imageio-tiff

org.lucee : com.twelvemonkeys.imageio-tiff

OSGi Version of com.twelvemonkeys.imageio-tiff

Last Version: 3.8.2

Release Date: Mar 25, 2022

Pri-num Integrity Key Generator

com.pri-num : integrity-key

Pri-num Integrity Key Generator is a small utility that helps with integrity key calculation

Last Version: 1.2.0

Release Date: Feb 24, 2021

idb-keyval

org.webjars.npm : idb-keyval

WebJar for idb-keyval

Last Version: 3.2.0

Release Date: Nov 21, 2019

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-insecure-settings-iosx64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

TwelveMonkeys :: ImageIO

com.github.lafa.twelvemonkeyspurejava.imageio : imageio

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

Last Version: 1.0.1

Release Date: Jul 6, 2017

Gradle Monkey Plugin

com.autoscout24.gradle : gradle-monkey-plugin

A Gradle plugin for running Android monkey tests.

Last Version: 2.4

Release Date: Nov 19, 2015

css-color-keywords

org.webjars.bowergithub.sonicdoe : css-color-keywords

WebJar for css-color-keywords

Last Version: 1.0.0

Release Date: Aug 29, 2018

facade

com.rpiaggio : scalajs-react-hotkeys_sjs0.6_2.13

react-hotkeys in scalajs-react

Last Version: 0.1.1

Release Date: Apr 18, 2020

Che Plugin :: Key Binding Eclipse :: Parent

org.eclipse.che.plugin : che-plugin-keybinding-eclipse-parent

Provides version of third parties artifacts to use in Codenvy platform projects

Last Version: 7.0.0-rc-3.0

Release Date: Jul 5, 2019

auth-keycloak-service

io.openk9 : io.openk9.auth.keycloak.service

Open Source Enterprise Cognitive Search Engine

Last Version: 0.0.1-alpha-1

Release Date: Mar 26, 2021

keysemaphore

io.chrisdavenport : keysemaphore_2.13

Last Version: 0.3.0-M1

Release Date: Nov 16, 2021

st-search-strategies

it.uniroma2.art.semanticturkey : st-search-strategies

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: Jun 23, 2022

Apache ServiceMix :: Bundles :: azure-keyvault-core

org.apache.servicemix.bundles : org.apache.servicemix.bundles.azure-keyvault-core

This OSGi bundle wraps azure-keyvault-core 1.2.6 jar file.

Last Version: 1.2.6_1

Release Date: Apr 30, 2022

Semantic Turkey

it.uniroma2.art.semanticturkey : semanticturkey

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: Jun 23, 2022

keypress

org.webjars.npm : keypress

WebJar for keypress

Last Version: 0.2.1

Release Date: Nov 2, 2015

Keycloak Tomcat Integration

org.keycloak : keycloak-tomcat-integration-pom

Last Version: 18.0.2

Release Date: Jun 24, 2022

Plexus Security :: Key Management Stores Parent

org.codehaus.plexus.security : plexus-security-keys-stores

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

TwelveMonkeys ImageIO IFF plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-iff

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

Last Version: 2.3

Release Date: May 20, 2010

Keystore Generation Configuration Provider

io.axual.utilities.config.providers : vault-keystore-provider

Provides an implementation of the Kafka ConfigProvider to retrieve private keys and certificate chains from HashiCorp Vault and create files for keystores

Last Version: 1.1.0

Release Date: Nov 18, 2021

keymanager

be.atbash.keys : keymanager

Atbash Key Server parent

Last Version: 0.5

Release Date: Jan 9, 2019

Clerezza - FOAF+SSL Keygen Lib :: Creating WebIDs in one Click

org.apache.clerezza : ssl.keygen

The direct or indirect parent of all Clerezza Artifacts

Last Version: 0.6

Release Date: Jul 1, 2014

TwelveMonkeys :: ImageIO :: HDR plugin

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

ImageIO plugin for Radiance RGBE High Dynaimc Range format (HDR).

Last Version: 1.0

Release Date: May 13, 2017

spring-cloud-starter-azure-keyvault-config

com.microsoft.azure : spring-cloud-starter-azure-keyvault-config

Spring Cloud Azure

Last Version: 1.2.0

Release Date: Dec 4, 2019

itarone-keycloak-starter

com.github.bogad : itarone-keycloak-starter

Parent pom providing dependency and plugin management for applications built with Maven

Last Version: 2.1.2

Release Date: Mar 27, 2019

Keycloak Model Picketlink

org.keycloak : keycloak-model-picketlink

Last Version: 1.0-alpha-1-12062013

Release Date: Dec 6, 2013

sslkeylogger-byteman-helper

com.github.mahnkong : sslkeylogger-byteman-helper

This project contains a Byteman helper class and a rule providing functionality to log SSL connection keys in a format used by wireshark to decrypt SSL Traffic.

Last Version: 1.0.4

Release Date: Nov 30, 2016

Kaval

io.monkeypatch.kaval : kaval-arrow

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date: Jun 25, 2020

Keycloak Dist

org.keycloak : keycloak-dist

Keycloak SSO

Last Version: 1.0-alpha-1-12062013

Release Date: Dec 6, 2013

com.twelvemonkeys.common-io

org.lucee : com.twelvemonkeys.common-io

OSGi Version of com.twelvemonkeys.common-io

Last Version: 3.8.2

Release Date: Mar 25, 2022

KATHRA :: UserManager :: Keycloak

org.kathra : kathra-usermanager-keycloak

no description

Last Version: 1.2.0

Release Date: Jul 28, 2020

DynamoDB Key Diagnostics Library for Java

com.amazonaws : dynamodb-key-diagnostics-library

The DynamoDB Key Diagnostics Library is a wrapper around the DynamoDB Java SDK that can be used to log key usage information for DynamoDB into a Kinesis stream, which can then be used to track hot spots (keys).

Last Version: 1.1

Release Date: Feb 19, 2019