Formal Verification

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

Дата:

oauth-key

com.networknt : oauth-key

A micro service server that supports JWT token public key certificate distribution.

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

Дата:

Последняя версия: 1.3.1+10-84868c21

Дата:

Последняя версия: 6.6.0-RC4

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

I2

city.smartb.i2 : keycloak-auth-domain-js

Identity and Authentication functions

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

Дата:

st-metadata-registry-bindings

it.uniroma2.art.semanticturkey : st-metadata-registry-bindings

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-M2+312-1e07fbeb

Дата:

fixture-monkey

com.navercorp.fixturemonkey.snapshot : fixture-monkey

The easiest way to generate controllable arbitrary test objects

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

Дата:

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

Дата:

TrueVFS KeyManager Console

net.java.truevfs : truevfs-key-console

Prompts the user for passwords via a console based dialog, if available.

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

Дата:

Microsoft Azure SDK for Key Vault Cryptography

com.microsoft.azure : azure-keyvault-cryptography

This library has been replaced by new Azure SDKs, you can read about them at https://aka.ms/azsdkvalueprop. The latest libraries to interact with the Azure Key Vault service are: (1) https://search.maven.org/artifact/com.azure/azure-security-keyvault-keys. (2) https://search.maven.org/artifact/com.azure/azure-security-keyvault-secrets. (3) https://search.maven.org/artifact/com.azure/azure-security-keyvault-certificates. It is recommended that you move to the new package.

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

Дата:

I2

city.smartb.i2 : keycloak-auth-domain

Identity and Authentication functions

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

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

Crouton

de.keyboardsurfer.android.widget : crouton

Context sensitive notifications for Android

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

Дата:

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

Дата:

TwelveMonkeys :: ImageIO :: HDR plugin

com.twelvemonkeys.imageio : imageio-hdr

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

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

Дата:

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

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

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

Дата:

Keytool: API

org.codehaus.mojo : keytool-api

A component to assist in using keytool application

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

Дата:

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

Дата:

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

Дата:

Microsoft Azure SDK for Key Vault WebKey

com.microsoft.azure : azure-keyvault-webkey

This library has been replaced by new Azure SDKs, you can read about them at https://aka.ms/azsdkvalueprop. The latest libraries to interact with the Azure Key Vault service are: (1) https://search.maven.org/artifact/com.azure/azure-security-keyvault-keys. (2) https://search.maven.org/artifact/com.azure/azure-security-keyvault-secrets. (3) https://search.maven.org/artifact/com.azure/azure-security-keyvault-certificates. It is recommended that you move to the new package.

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

Дата:

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

Дата:

TrueVFS KeyManager HurlingWindowFeedback

net.java.truevfs : truevfs-key-hurlfb

Provides visible and audible feedback by hurling the Swing based dialog whenever the users enters a wrong password.

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

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

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

Дата:

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

Дата:

lodash.keys

org.webjars.npm : lodash.keys

WebJar for lodash.keys

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

Дата:

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

Дата:

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

Дата:

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

Дата:

key

me.proton.core : key

Proton Core libraries for Android

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

Дата:

Siddhi Extension - KeyValue Mapper

io.siddhi.extension.map.keyvalue : siddhi-map-keyvalue

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

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

Дата:

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

Дата:

afirma-core-keystores

es.gob.afirma : afirma-core-keystores

Modulo central para la gestion de almacenes de claves

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

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-terrain

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Последняя версия: 3.5.2-stable

Дата:

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

Дата:

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

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-effects

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Последняя версия: 3.5.2-stable

Дата:

Keytool: API

com.evolvedbinary.thirdparty.org.codehaus.mojo : keytool-api

A component to assist in using keytool application

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

Дата:

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

Дата:

fixture-monkey

com.navercorp.fixturemonkey : fixture-monkey

The easiest way to generate controllable arbitrary test objects

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

Дата:

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

Дата:

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

Дата:

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата:

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

Дата: