Formal Verification | JarCasting

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)

Last Version: 11.1

Release Date: Jun 23, 2022

keywords-Pure

com.thoughtworks.dsl : keywords-pure_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

fixture-monkey

com.navercorp.fixturemonkey.snapshot : fixture-monkey

The easiest way to generate controllable arbitrary test objects

Last Version: 0.4.0-2826386-2

Release Date: Apr 13, 2022

Keycloak : Migrate : Model

dk.grinn.keycloak : keycloak-migrate-model

Keycloak migrate model.

Last Version: 15.0.0.1

Release Date: Sep 8, 2021

TrueVFS KeyManager Console

net.java.truevfs : truevfs-key-console

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

Last Version: 0.9.3

Release Date: Sep 20, 2012

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.

Last Version: 1.2.6

Release Date: Jan 25, 2022

I2

city.smartb.i2 : keycloak-auth-domain

Identity and Authentication functions

Last Version: 0.8.3

Release Date: Jun 24, 2022

keywords-Return

com.thoughtworks.dsl : keywords-return_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

Crouton

de.keyboardsurfer.android.widget : crouton

Context sensitive notifications for Android

Last Version: 1.8.5

Release Date: Jul 17, 2014

keywords-Shift

com.thoughtworks.dsl : keywords-shift_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

TwelveMonkeys :: ImageIO :: HDR plugin

com.twelvemonkeys.imageio : imageio-hdr

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

Last Version: 3.8.2

Release Date: Feb 22, 2022

keywords-Shift

com.thoughtworks.dsl : keywords-shift_sjs1_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-Pure

com.thoughtworks.dsl : keywords-pure_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

WSO2 Identity Server - Keystore Rest API v1

org.wso2.carbon.identity.server.api : org.wso2.carbon.identity.api.server.keystore.management.v1

Last Version: 1.1.3

Release Date: Feb 17, 2022

Spring Cloud Config Azure KeyVault Starter

io.github.srempfer : spring-cloud-config-azure-keyvault-starter

Starter for Azure KeyVault related Spring Cloud Config features

Last Version: 0.9.0

Release Date: May 31, 2022

Keytool: API

org.codehaus.mojo : keytool-api

A component to assist in using keytool application

Last Version: 1.6

Release Date: May 4, 2022

Keycloak Model Sessions Mongo

org.keycloak : keycloak-model-sessions-mongo

Last Version: 1.4.0.Final

Release Date: Jul 28, 2015

Keycloak Model Sessions Mem

org.keycloak : keycloak-model-sessions-mem

Last Version: 1.4.0.Final

Release Date: Jul 28, 2015

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.

Last Version: 1.2.6

Release Date: Jan 25, 2022

keycloak4s-core

com.fullfacing : keycloak4s-core_2.12

Last Version: 3.1.1

Release Date: Sep 13, 2021

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.

Last Version: 0.9.3

Release Date: Sep 20, 2012

keywords-TryCatch

com.thoughtworks.dsl : keywords-trycatch_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

util

com.ubirch.key : util_2.11

utils

Last Version: 0.11.2

Release Date: Oct 18, 2018

Modello Database Keywords Library

org.codehaus.modello : modello-db-keywords

Last Version: 1.0-alpha-21

Release Date: Aug 7, 2008

lodash.keys

org.webjars.npm : lodash.keys

WebJar for lodash.keys

Last Version: 4.0.6

Release Date: May 2, 2016

keywords-Catch

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Camel Quarkus :: Azure Key Vault :: Runtime

org.apache.camel.quarkus : camel-quarkus-azure-key-vault

Manage secrets and keys in Azure Key Vault Service

Last Version: 2.10.0

Release Date: Jun 17, 2022

kernel-keygenerator-bouncycastle

io.mosip.kernel : kernel-keygenerator-bouncycastle

Mosip commons project

Last Version: 1.1.5.3

Release Date: May 25, 2021

key

me.proton.core : key

Proton Core libraries for Android

Last Version: 8.4.0

Release Date: Jun 24, 2022

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.

Last Version: 2.1.2

Release Date: Feb 15, 2022