Formal Verification | JarCasting

extras-keyrotation

de.adorsys.keymanagement : extras-keyrotation

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date: Nov 5, 2019

net.projectmonkey : object-mapper

Object mapping implementation written as an alternative to modelmapper which is able to support inheritance, handles flattening / expanding in a precise way, and is extensible / configurable

Last Version: 0.2.1

Release Date: Jan 2, 2013

Keyple Plugin SpringCard PC/SC-like Android

com.springcard.keyple : keyple-plugin-springcard-android-pcsclike-java-lib

Keyple add-on to manage SpringCard PC/SC and BLE readers in Android

Last Version: 1.0.0

Release Date: May 3, 2022

keywords-NullSafe

com.thoughtworks.dsl : keywords-nullsafe_3

Last Version: 2.0.0-M1

Release Date: Nov 26, 2021

dswork-analyzer

com.github.skeychen : dswork-analyzer

dswork-framework

Last Version: 10.2.1

Release Date: Jul 6, 2021

Keycloak mail whitelisting extension

net.micedre.keycloak : keycloak-mail-whitelisting

A keycloak extension to block non authorized domain to register

Last Version: 1.4

Release Date: Mar 18, 2022

keysemaphore

io.chrisdavenport : keysemaphore_2.11

Last Version: 0.1.0

Release Date: Sep 5, 2019

artemis-reactive-key-value

org.eclipse.jnosql.artemis.reactive : artemis-reactive-key-value

The Eclipse JNoSQL is a framework to help developers create enterprise-grade applications using Java and NoSQL technologies.

Last Version: 1.0.0-b2

Release Date: Jun 7, 2020

Swagger Gradle Plugin

com.github.tddmonkey : swagger-gradle-plugin

Last Version: 0.1.2

Release Date: Aug 24, 2017

st-jira-backend

it.uniroma2.art.semanticturkey : st-jira-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)

Last Version: 11.1

Release Date: Jun 23, 2022

facade

com.rpiaggio : scalajs-react-hotkeys_sjs1_2.13

react-hotkeys in scalajs-react

Last Version: 0.4.0

Release Date: Nov 9, 2021

Keycloak Forms

org.keycloak : keycloak-forms-parent

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

Step Samples

ch.exense.step.examples : demo-appium-keyword

Last Version: 3.13.0

Release Date: Apr 9, 2020

gradle-plugin-monkeypatch

org.xbib.elasticsearch : gradle-plugin-monkeypatch

Gradle plugins for the developer kit for building and testing Elasticsearch and Elasticsearch plugins

Last Version: 6.3.2.5

Release Date: Feb 26, 2019

com.chesapeaketechnology.bufmonkey:barrel

com.chesapeaketechnology.bufmonkey : BufMonkey

BufMonkey Artifacts

Last Version: 0.1.0

Release Date: Aug 25, 2020

Security Public Key Realm

org.sonatype.security.realms : security-public-key-realm

${project.name}

Last Version: 3.3

Release Date: May 23, 2013

keycloak-client-spring-boot-starter

com.github.houbbbbb : keycloak-client-spring-boot-starter

keycloak-client

Last Version: 0.0.4

Release Date: Apr 17, 2020

Redback :: Key Management Provider :: Cached

org.codehaus.plexus.redback.old : redback-keys-cached

Last Version: 1.0-alpha-4

Release Date: Nov 1, 2007

Keycloak test container by intension

de.intension : keycloak-test-container

Provides Keycloak docker container and test utilities

Last Version: 1.0.3

Release Date: Sep 28, 2021

entando-keycloak-auth

org.entando.entando : entando-keycloak-auth

Entando Core Maven Parent POM

Last Version: 6.2.2

Release Date: Oct 20, 2020

chaos-monkey-demo-app-unleash-toggles

de.codecentric : chaos-monkey-demo-app-unleash-toggles

Chaos Monkey for Spring Boot simple demo app with unleash toggles included

Last Version: 2.5.1

Release Date: Jul 16, 2021

Key Explorer

nl.wimmelstein : keyexplorer

This is a tool for listing all certificates in keystores on the filesystem

Last Version: 0.9.2

Release Date: Apr 2, 2018

keystoneml

edu.berkeley.cs.amplab : keystoneml_2.10

Last Version: 0.4.0

Release Date: Mar 3, 2017

openapi-parser-snakeyaml

io.openapiprocessor : openapi-parser-snakeyaml

OpenAPI Parser snakeyaml YAML Converter

Last Version: 2022.1.1

Release Date: May 26, 2022

keyboard.fx

de.jonato : keyboard.fx

Keyboard.FX is a minimalistic framework for managing your JavaFX Keyboard Events.

Last Version: 1.0

Release Date: Feb 14, 2015

Java Keytool

de.ohmesoftware : keytool

This is a patched keytool version supporting to import a certificate using a provider.

Last Version: 0.0.2

Release Date: Apr 11, 2019

keywords-AsynchronousIo

com.thoughtworks.dsl : keywords-asynchronousio_sjs1_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

angular-keypad

org.webjars.npm : angular-keypad

WebJar for angular-keypad

Last Version: 2.0.4

Release Date: Feb 9, 2020

Feature Pack Builds

org.keycloak : feature-packs-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

krypto-keys

tz.co.asoft : krypto-keys-watchosarm32

A platform agnostic implementation of security keys

Last Version: 0.0.50

Release Date: Jun 2, 2021

Fabric8 :: Quickstarts :: Spring-Boot :: Keycloak

io.fabric8.jube.images.fabric8 : springboot-keycloak

Shows how to use Spring Boot with Keycloak

Last Version: 2.2.28

Release Date: Sep 15, 2015

st-sparql-custom-service-backend

it.uniroma2.art.semanticturkey : st-sparql-custom-service-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)

Last Version: 11.1

Release Date: Jun 23, 2022

jMonkeyEngine

org.jmonkeyengine : jme3-vr

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

Last Version: 3.5.2-stable

Release Date: Apr 21, 2022

TwelveMonkeys Servlet

com.twelvemonkeys : twelvemonkeys-servlet

Last Version: 2.3

Release Date: May 20, 2010

st-native-template-based-uri-generator

it.uniroma2.art.semanticturkey : st-native-template-based-uri-generator

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

Alluxio Key Value

org.alluxio : alluxio-keyvalue

Parent POM for Alluxio Key Value Store

Last Version: 1.8.2

Release Date: Jul 31, 2019

keywords-Await

com.thoughtworks.dsl : keywords-await_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-Get

com.thoughtworks.dsl : keywords-get_sjs1_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Gradle HockeyApp Plugin

de.felixschulze : hockeyApp

A Gradle plugin for uploading iOS and Android Apps to HockeyApp.

Last Version: 0.9

Release Date: Sep 23, 2013

Kaval

io.monkeypatch.kaval : kaval-coroutine

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date: Jun 25, 2020

Redback :: Key Management Provider :: Memory

org.codehaus.plexus.redback.old : redback-keys-memory

Last Version: 1.0-alpha-4

Release Date: Nov 1, 2007

Keycloak Authentication

org.keycloak : keycloak-authentication

Last Version: 1.0-beta-1-20150523

Release Date: May 23, 2014

Distribution Parent

org.keycloak : distribution-pom

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

android-ddp-client

com.keysolutions : android-ddp-client

AndroidDDPClient is an Android library for native apps that talk to the Meteor.js framework

Last Version: 1.0.2.0

Release Date: Apr 11, 2016

keywords-akka-http-TApply

com.thoughtworks.dsl : keywords-akka-http-tapply_2.11

Last Version: 1.0.0+6-49fac01b

Release Date: May 18, 2019

keycloak4s-admin-monix-bio

com.fullfacing : keycloak4s-admin-monix-bio_2.13

Last Version: 3.1.1

Release Date: Sep 13, 2021

keychain

co.privacyone.sdk : keychain

Privacy One sdk library for backend system

Last Version: 2.0.8

Release Date: May 9, 2022

WildFly Swarm: Keycloak Server Parent

org.wildfly.swarm : keycloak-server-parent

Last Version: 1.0.1.Final

Release Date: Jun 17, 2016

fake-keystore

io.matthewnelson.encrypted-storage : fake-keystore

A Fake Android Keystore for testing

Last Version: 2.0.1

Release Date: Oct 15, 2020

st-xnote-dereification-rdf-transformer

it.uniroma2.art.semanticturkey : st-xnote-dereification-rdf-transformer

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