Formal Verification

zio-aws-keyspaces

dev.zio : zio-aws-keyspaces_3

Low-level AWS wrapper for ZIO

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

Дата:

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.

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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.

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

Дата:

Последняя версия: 1.1.0.Beta2

Дата:

TwelveMonkeys :: ImageIO :: reference test cases

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

Test cases for the JRE provided ImageReader implementations for reference.

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

Дата:

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

Дата:

zio-aws-keyspaces

dev.zio : zio-aws-keyspaces_2.12

Low-level AWS wrapper for ZIO

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

Дата:

SSHKey

net.adamcin.sshkey : sshkey

Reference implementation of an SSH Key HTTP Authentication Scheme

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

Дата:

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/

Последняя версия: v2-rev20220530-1.32.1

Дата:

Keywhiz (Parent)

com.squareup.keywhiz : keywhiz-parent

A distribution system for secrets.

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

Дата:

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.

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

Дата:

com.twelvemonkeys.imageio-tiff

org.lucee : com.twelvemonkeys.imageio-tiff

OSGi Version of com.twelvemonkeys.imageio-tiff

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

Дата:

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

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

Дата:

idb-keyval

org.webjars.npm : idb-keyval

WebJar for idb-keyval

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

Дата:

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

Дата:

TwelveMonkeys :: ImageIO

com.github.lafa.twelvemonkeyspurejava.imageio : imageio

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

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

Дата:

Gradle Monkey Plugin

com.autoscout24.gradle : gradle-monkey-plugin

A Gradle plugin for running Android monkey tests.

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

Дата:

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

Дата:

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

Дата:

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

Последняя версия: 7.0.0-rc-3.0

Дата:

auth-keycloak-service

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

Open Source Enterprise Cognitive Search Engine

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

Дата:

Последняя версия: 0.3.0-M1

Дата:

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)

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

Дата:

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

Дата:

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)

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

Дата:

keypress

org.webjars.npm : keypress

WebJar for keypress

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

Дата:

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

Дата:

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.

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

Дата:

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

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

Дата:

keymanager

be.atbash.keys : keymanager

Atbash Key Server parent

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

Дата:

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

Дата:

TwelveMonkeys :: ImageIO :: HDR plugin

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

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

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

Дата:

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

Дата:

itarone-keycloak-starter

com.github.bogad : itarone-keycloak-starter

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

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

Дата:

Последняя версия: 1.0-alpha-1-12062013

Дата:

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.

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

Дата:

Kaval

io.monkeypatch.kaval : kaval-arrow

A POJO validation DSL in Kotlin

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

Дата:

Последняя версия: 1.0-alpha-1-12062013

Дата:

com.twelvemonkeys.common-io

org.lucee : com.twelvemonkeys.common-io

OSGi Version of com.twelvemonkeys.common-io

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

Дата:

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

Дата:

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).

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

Дата:

Последняя версия: 0.13.0-210804-2

Дата:

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

Дата:

Keyple Generic Java Lib

org.eclipse.keyple : keyple-card-generic-java-lib

Keyple add-on to manage cards with low level API

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

Дата: