Formal Verification

sprint-keycloak

it.cnr.si.sprint : sprint-keycloak

Archetype for push artifact to Maven repository

Last Version: 3.1.14

Release Date:

Last Version: 4.0.0.Beta1

Release Date:

Last Version: 1.1

Release Date:

Last Version: 18.0.2

Release Date:

d2v-sankey

io.data2viz.d2v : d2v-sankey-iosX64

Data2viz d2v-sankey library

Last Version: 0.9.1

Release Date:

Last Version: 16.1.1-1

Release Date:

Keycode

com.tomgibara.keycode : keycode

Encode 256 bit keys for human transcription.

Last Version: 1.0.0

Release Date:

QtJambi VirtualKeyboard for Java 8

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.

Last Version: 6.3.0

Release Date:

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.

Last Version: 6.3.1

Release Date:

st-dataeu-connector

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)

Last Version: 11.1

Release Date:

Last Version: 4.0.0-alpha03

Release Date:

Secret Store - Examples

org.keycloak.secretstore : secret-store-examples

Set of usage examples for the Secret Store

Last Version: 1.0.15.Final

Release Date:

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

Last Version: 2.0.3

Release Date:

java-keyring-parent

com.github.javakeyring : java-keyring-parent

A Java library to store password securely

Last Version: 1.0.1

Release Date:

auth-keycloak-web

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

Open Source Enterprise Cognitive Search Engine

Last Version: 0.0.1-alpha-1

Release Date:

Last Version: 1.0.10-rc1

Release Date:

Last Version: 0.2.2

Release Date:

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

Last Version: 0.3.6

Release Date:

Last Version: 1.0.7

Release Date:

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.

Last Version: 2.0.1

Release Date:

cryptoapi

io.apikey : cryptoapi

Framework for working with CryptoAPI

Last Version: 0.4.15

Release Date:

jMonkeyEngine

org.jmonkeyengine : jme3-examples

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

Last Version: 3.5.2-stable

Release Date:

Ktor API Key Authentication Provider

dev.forst : ktor-api-key

Native API Key authentication in Ktor.

Last Version: 1.1.0

Release Date:

fixture-monkey

com.navercorp.fixturemonkey : fixture-monkey-starter

The easiest way to generate controllable arbitrary test objects

Last Version: 0.3.5

Release Date:

Last Version: 2.0.3

Release Date:

Last Version: 3.8.2

Release Date:

Last Version: 2.0.9

Release Date:

Last Version: 15.0.0.1

Release Date:

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

Last Version: 0.9.0

Release Date:

FASE Modules Keyword

io.aubay.fase : modules-keyword

Framework Aubay SElenium Modules Keyword

Last Version: 0.3.7

Release Date:

Keeper Contracts

io.keyko.ocean.keeper : contracts

Integration of TCRs, CPM and Ocean Tokens in Solidity

Last Version: 0.13.2.5

Release Date:

Last Version: 7.17.0

Release Date:

Last Version: 2.2.3.Final

Release Date:

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

Last Version: 1.0.0

Release Date:

persist-keyvalue-locally

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

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

Last Version: 0.2.10

Release Date:

keystore-cli

org.opensearch : keystore-cli

OpenSearch subproject :distribution:tools:keystore-cli

Last Version: 2.0.1

Release Date:

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.

Last Version: 1.0.2

Release Date: