Formal Verification | JarCasting

io.qtjambi : qtjambi-virtualkeyboard-jre8

A framework for implementing different input methods as well as a QML virtual keyboard. Supports localized keyboard layouts and custom visual themes.

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

Дата: 3 апр. 2022 г.

QtJambi VirtualKeyboard

io.qtjambi : qtjambi-virtualkeyboard

A framework for implementing different input methods as well as a QML virtual keyboard. Supports localized keyboard layouts and custom visual themes.

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

Дата: 30 апр. 2022 г.

it.uniroma2.art.semanticturkey : st-dataeu-connector

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

Дата: 23 июн. 2022 г.

Assembly Adapter

io.github.panpf.assemblyadapter4 : assemblyadapter-common-diffkey

Android Assembly Adapter

Последняя версия: 4.0.0-alpha03

Дата: 12 июл. 2021 г.

Secret Store - Examples

org.keycloak.secretstore : secret-store-examples

Set of usage examples for the Secret Store

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

Дата: 18 апр. 2016 г.

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

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

Дата: 5 июн. 2022 г.

Keycloak Dependencies Parent

org.keycloak : keycloak-dependencies-parent

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

Дата: 24 июн. 2022 г.

java-keyring-parent

com.github.javakeyring : java-keyring-parent

A Java library to store password securely

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

Дата: 6 нояб. 2019 г.

auth-keycloak-web

io.openk9 : io.openk9.auth.keycloak.web

Open Source Enterprise Cognitive Search Engine

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

Дата: 26 мар. 2021 г.

keywords-Hang

com.thoughtworks.dsl : keywords-hang_sjs0.6_2.12

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

Дата: 8 авг. 2018 г.

authentication-keys-generator

io.mosip.authentication : authentication-keys-generator

Parent project of MOSIP ID Authentication

Последняя версия: 1.0.10-rc1

Дата: 4 авг. 2020 г.

core

io.keyko.monitoring.agent : core

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

Дата: 3 июн. 2020 г.

Test Suite: Keycloak Server

io.thorntail.testsuite : testsuite-keycloak-server

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

Дата: 30 окт. 2018 г.

Galleon Feature Pack Builds

org.keycloak : galleon-feature-packs-parent

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

Дата: 24 июн. 2022 г.

modelmapper

net.projectmonkey : modelmapper

Fork of org.modelmapper which addresses the issues documented at: http://code.google.com/p/modelmapper/issues/detail?id=16 and http://code.google.com/p/modelmapper/issues/detail?id=17

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

Дата: 17 мая 2012 г.

null

de.gematik.ti.epa : fdv.key.access.json.messages

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

Дата: 12 мар. 2020 г.

key-utils

com.bitpay : keyutils

The BitPay Java Key Utilities for use with the BitPay API. This package includes KeyUtils.java and a test file KeyUtilsTest.java. Invoke the static methods of KeyUtils.java to generate a PEM, retrieve private and compressed public keys from the PEM, retrieve SIN from PEM, and sign a message with the PEM.

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

Дата: 29 июл. 2015 г.

cryptoapi

io.apikey : cryptoapi

Framework for working with CryptoAPI

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

Дата: 22 мар. 2022 г.

jMonkeyEngine

org.jmonkeyengine : jme3-examples

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

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

Дата: 21 апр. 2022 г.

aaa-authn-keystone

org.opendaylight.aaa : aaa-authn-keystone

Последняя версия: 0.3.4-Beryllium-SR4

Дата: 19 окт. 2016 г.

keywords-Each

com.thoughtworks.dsl : keywords-each_sjs1_3

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

Дата: 21 мая 2022 г.

Ktor API Key Authentication Provider

dev.forst : ktor-api-key

Native API Key authentication in Ktor.

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

Дата: 10 апр. 2022 г.

fixture-monkey

com.navercorp.fixturemonkey : fixture-monkey-starter

The easiest way to generate controllable arbitrary test objects

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

Дата: 21 июн. 2022 г.

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

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

Дата: 5 июн. 2022 г.

TwelveMonkeys

com.twelvemonkeys : twelvemonkeys

TwelveMonkeys parent POM

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

Дата: 22 февр. 2022 г.

google-maps-utility-library-v3-keydragzoom

org.webjars.npm : github-com-nmccready-google-maps-utility-library-v3-keydragzoom

WebJar for google-maps-utility-library-v3-keydragzoom

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

Дата: 7 июл. 2016 г.

Test Suite: Keycloak Server

org.wildfly.swarm : testsuite-keycloak-server

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

Дата: 1 мая 2017 г.

Keycloak : Migrate : CDI

dk.grinn.keycloak : keycloak-migrate-cdi

Keycloak migrate CDI entries.

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

Дата: 8 сент. 2021 г.

Spring Cloud Config Server Sample

io.github.srempfer : spring-cloud-config-azure-keyvault-single-backend-sample

Spring Cloud Config Server application to demonstrate the usage of the Azure KeyVault features

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

Дата: 31 мая 2022 г.

FASE Modules Keyword

io.aubay.fase : modules-keyword

Framework Aubay SElenium Modules Keyword

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

Дата: 17 февр. 2020 г.

Keeper Contracts

io.keyko.ocean.keeper : contracts

Integration of TCRs, CPM and Ocean Tokens in Solidity

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

Дата: 9 апр. 2020 г.

Camunda Platform 7 - engine plugins - identity - keycloak - extension - all

org.camunda.bpm.extension : camunda-platform-7-keycloak-all

Camunda 7 Keycloak Identity Provider Plugin including all transitive dependencies

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

Дата: 20 мая 2022 г.

keywords-Using

com.thoughtworks.dsl : keywords-using_sjs1_2.11

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

Дата: 25 нояб. 2021 г.

apiman-plugins-apikey-policy

io.apiman.plugins : apiman-plugins-apikey-policy

This project contains plugins for apiman.

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

Дата: 21 апр. 2022 г.

EOSIO SDK for Java: Android Keystore Signature Provider

one.block : eosioandroidkeystoresignatureprovider

This provider is intended to be used in conjunction with EOSIO SDK for Java as a provider plugin..

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

Дата: 26 апр. 2021 г.

Keycloak Server Overlay Parent

org.keycloak : keycloak-server-overlay-parent

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

Дата: 4 февр. 2016 г.

persist-keyvalue-locally

tz.co.asoft : persist-keyvalue-locally-android

Platform agnostic contracts for persisting key-value pairs in a local environment

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

Дата: 19 янв. 2021 г.

keycloak4s-authz-client

com.fullfacing : keycloak4s-authz-client_2.12

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

Дата: 13 сент. 2021 г.

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_2.13

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

Дата: 25 нояб. 2021 г.

keystore-cli

org.opensearch : keystore-cli

OpenSearch subproject :distribution:tools:keystore-cli

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

Дата: 16 июн. 2022 г.

Forgerock Key Manager Feature

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

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

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

Дата: 1 апр. 2021 г.