Formal Verification

TwelveMonkeys ImageIO JMagick Plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-jmagick

ImageIO wrapper for JMagick. See the <a href="http://www.yeo.id.au/jmagick/">JMagick Home page</a> for more information.

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

Дата:

Последняя версия: 2.2.1.Final

Дата:

TwelveMonkeys :: ImageIO :: JDK Reference Tests

com.twelvemonkeys.imageio : imageio-reference

Test cases for the JRE provided ImageReader implementations for reference.

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

Дата:

ConfigKeys

tech.ferus.util : ConfigKeys

ConfigKeys is a simple wrapper for zml's Configurate, providing a more stream-lined way to access configuration on-the-fly.

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

Дата:

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

Дата:

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

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

Дата:

st-rendering-engines

it.uniroma2.art.semanticturkey : st-rendering-engines

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

Дата:

Keys Migrator

io.mosip.kernel : keys-migrator

Temporary to correct the certificates

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

Дата:

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

Дата:

common-utils

wang.sunkey : common-utils

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

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

Дата:

AutoFillEditText

com.tuyenmonkey : auto-fill-edit-text

This custom EditText will suggest and fill text defined before automatically

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

Дата:

Последняя версия: 1.0.15.Final

Дата:

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

Дата:

KeyMG- Aggregator

org.keymg : keymg-pom

Implementation of Key Management Standards

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

Дата:

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

Дата:

pay

io.github.wankey.mithril : pay

a rx stream library provider ability to pay money with popular tool in China

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

Дата:

TwelveMonkeys :: ImageIO :: IFF plugin

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

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

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

Дата:

java-keytar

com.starxg : java-keytar

A native Java module to get, add, replace, and delete passwords in system's keychain. On macOS the passwords are managed by the Keychain, on Linux they are managed by the Secret Service API/libsecret, and on Windows they are managed by Credential Vault.

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

Дата:

Manorrock Eagle - Azure - KeyVault Secret

com.manorrock.eagle.azure : eagle-azure-keyvault-secret

Manorrock Eagle delivers you with a Key-Value Store abstraction.

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

Дата:

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

Дата:

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

Дата:

keycloak-micronaut-adapter

be.looorent : keycloak-micronaut-adapter

Create API middleware to check Authorization headers against Keycloak

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

Дата:

CAS MFA YubiKey Web Support

net.unicon : cas-mfa-yubikey-web

This is the multifactor extensions for CAS sub-module for Yubikey Web components.

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

Дата:

Auth0 Key Manager Feature

org.wso2.km.ext.auth0 : auth0.key.manager.feature

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

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

Дата:

Последняя версия: 1.0-beta-1-20150523

Дата:

Gradle Keytool Plugin

org.figurate : gradle-keytool-plugin

A Gradle plugin to perform various keytool functions.

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

Дата:

keywordsign-spring-boot-starter

com.liumapp.keywordsign.starter : keywordsign-spring-boot-starter

itext关键词定位签署功能模块spring boot starter库

Последняя версия: v1.0.1

Дата:

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

Дата:

API Key Service

io.service84.services : apikey-service

A service for managing api keys

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

Дата:

st-freedcamp-backend

it.uniroma2.art.semanticturkey : st-freedcamp-backend

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.0.CR1

Дата:

st-dcatap-dataset-metadata-exporter

it.uniroma2.art.semanticturkey : st-dcatap-dataset-metadata-exporter

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

Дата:

keyspaces

com.cognitect.aws : keyspaces

keyspaces resources for com.cognitect.aws/api

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

Дата:

HTTP Toolbox

io.github.whiskeysierra : http-toolbox

Collection of utility libraries for HTTP

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

fixture-monkey

com.navercorp.fixturemonkey.snapshot : fixture-monkey-kotlin

The easiest way to generate controllable arbitrary test objects

Последняя версия: 0.4.0-2826386-2

Дата:

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

Дата:

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

Дата:

Keycloak Sendinblue

de.intension : keycloak-sendinblue

Keycloak addon to use the Sendinblue API for sending mails

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

Дата:

azure-keyvault

com.azure : azure-keyvault-parent

Parent POM for Microsoft Azure SDK for Java

Последняя версия: 4.0.0-preview.2

Дата:

Apache Flink, Cassandra keyspace cluster

com.github.szczurmys : flink-cassandra-keyspace-cluster

The extension for flink cassandra connector that lets you specify default cassandra keyspace.

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

Дата:

st-reformatting-exporters

it.uniroma2.art.semanticturkey : st-reformatting-exporters

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

Дата:

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

Дата:

Donkey

io.github.asvanberg : donkey

An opinionated and stubborn implementation of the Jakarta JSON Bind API.

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

Дата:

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

Дата: