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.

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

Дата: 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

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

Дата: 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

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

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

keywords-NullSafe

com.thoughtworks.dsl : keywords-nullsafe_3

Последняя версия: 2.0.0-M1

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

dswork-analyzer

com.github.skeychen : dswork-analyzer

dswork-framework

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

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

Keycloak mail whitelisting extension

net.micedre.keycloak : keycloak-mail-whitelisting

A keycloak extension to block non authorized domain to register

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

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

keysemaphore

io.chrisdavenport : keysemaphore_2.11

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

Дата: 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.

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

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

Swagger Gradle Plugin

com.github.tddmonkey : swagger-gradle-plugin

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

Дата: 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)

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

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

facade

com.rpiaggio : scalajs-react-hotkeys_sjs1_2.13

react-hotkeys in scalajs-react

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

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

Keycloak Forms

org.keycloak : keycloak-forms-parent

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

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

Step Samples

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

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

Дата: 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

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

Дата: 26 февр. 2019 г.

com.chesapeaketechnology.bufmonkey:barrel

com.chesapeaketechnology.bufmonkey : BufMonkey

BufMonkey Artifacts

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

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

Security Public Key Realm

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

${project.name}

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

Дата: 23 мая 2013 г.

keycloak-client-spring-boot-starter

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

keycloak-client

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

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

Redback :: Key Management Provider :: Cached

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

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

Дата: 1 нояб. 2007 г.

Keycloak test container by intension

de.intension : keycloak-test-container

Provides Keycloak docker container and test utilities

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

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

entando-keycloak-auth

org.entando.entando : entando-keycloak-auth

Entando Core Maven Parent POM

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

Дата: 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

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

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

Key Explorer

nl.wimmelstein : keyexplorer

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

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

Дата: 2 апр. 2018 г.

keystoneml

edu.berkeley.cs.amplab : keystoneml_2.10

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

Дата: 3 мар. 2017 г.

openapi-parser-snakeyaml

io.openapiprocessor : openapi-parser-snakeyaml

OpenAPI Parser snakeyaml YAML Converter

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

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

keyboard.fx

de.jonato : keyboard.fx

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

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

Дата: 14 февр. 2015 г.

Java Keytool

de.ohmesoftware : keytool

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

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

Дата: 11 апр. 2019 г.

keywords-AsynchronousIo

com.thoughtworks.dsl : keywords-asynchronousio_sjs1_2.11

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

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

angular-keypad

org.webjars.npm : angular-keypad

WebJar for angular-keypad

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

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

Feature Pack Builds

org.keycloak : feature-packs-parent

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

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

krypto-keys

tz.co.asoft : krypto-keys-watchosarm32

A platform agnostic implementation of security keys

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

Дата: 2 июн. 2021 г.

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

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

Shows how to use Spring Boot with Keycloak

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

Дата: 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)

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

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

jMonkeyEngine

org.jmonkeyengine : jme3-vr

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

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

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

TwelveMonkeys Servlet

com.twelvemonkeys : twelvemonkeys-servlet

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

Дата: 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)

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

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

Alluxio Key Value

org.alluxio : alluxio-keyvalue

Parent POM for Alluxio Key Value Store

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

Дата: 31 июл. 2019 г.

keywords-Await

com.thoughtworks.dsl : keywords-await_2.13

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

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

keywords-Get

com.thoughtworks.dsl : keywords-get_sjs1_2.11

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

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

Gradle HockeyApp Plugin

de.felixschulze : hockeyApp

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

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

Дата: 23 сент. 2013 г.

Kaval

io.monkeypatch.kaval : kaval-coroutine

A POJO validation DSL in Kotlin

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

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

Redback :: Key Management Provider :: Memory

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

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

Дата: 1 нояб. 2007 г.

Keycloak Authentication

org.keycloak : keycloak-authentication

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

Дата: 23 мая 2014 г.

Distribution Parent

org.keycloak : distribution-pom

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

Дата: 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

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

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

keywords-akka-http-TApply

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

Последняя версия: 1.0.0+6-49fac01b

Дата: 18 мая 2019 г.

keycloak4s-admin-monix-bio

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

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

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

keychain

co.privacyone.sdk : keychain

Privacy One sdk library for backend system

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

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

WildFly Swarm: Keycloak Server Parent

org.wildfly.swarm : keycloak-server-parent

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

Дата: 17 июн. 2016 г.

fake-keystore

io.matthewnelson.encrypted-storage : fake-keystore

A Fake Android Keystore for testing

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

Дата: 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)

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

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